From owner-freebsd-arm@FreeBSD.ORG Mon Nov 12 14:45:48 2012 Return-Path: Delivered-To: freebsd-arm@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 2A178BBD for ; Mon, 12 Nov 2012 14:45:48 +0000 (UTC) (envelope-from alie@affle.com) Received: from mail-vc0-f182.google.com (mail-vc0-f182.google.com [209.85.220.182]) by mx1.freebsd.org (Postfix) with ESMTP id BFD348FC08 for ; Mon, 12 Nov 2012 14:45:47 +0000 (UTC) Received: by mail-vc0-f182.google.com with SMTP id fw7so8346172vcb.13 for ; Mon, 12 Nov 2012 06:45:47 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type :x-gm-message-state; bh=TdHgbXIpV6DcV+oRR7OG2oyi6es1yGKlpx1/YZdYN7k=; b=ZWTvNQOx4Mi8rqMC1dnnEQzimvvznIfYpx8P/pnq2GICNWZieUEy0ESJQYeao5YPKE RudQ27Icjv+G7jPLLUZ6E1UuaORGP02yTXwtNIZngXVhBPcs+6NVqMZ5SQPiYdLgZRlX 7FQ+TjmTTdLSGokBLpulne1+KFm900+rWyIF3+nBr6z7B1nzN8y+HiAaaxGLh7dYWQGe 3yZqK7DS0R9qtV95NQs+WPOgPGOJMklzjCDrfs4QzIHXqrswnp+F6BEk2D17IHmB7e4O xObdZIXEQqCO2l764WMtLp5gWMewru2/hPvLTJhrbinrxJETOQFICNetju9c0t4ylw7l ujuA== MIME-Version: 1.0 Received: by 10.221.0.10 with SMTP id nk10mr30376vcb.39.1352731546953; Mon, 12 Nov 2012 06:45:46 -0800 (PST) Received: by 10.58.178.234 with HTTP; Mon, 12 Nov 2012 06:45:46 -0800 (PST) Date: Mon, 12 Nov 2012 22:45:46 +0800 Message-ID: Subject: Re: Raspberry PI with 512 MB does not boot FreeBSD? From: Alie Tan To: "freebsd-arm@freebsd.org" X-Gm-Message-State: ALoCoQmUh4M0B2xzLIR3eBBf6tvO03QjlFGKEjwoAO4pOl34NQUcVWNHz5klCkfZr5xF8iTjtgZV Content-Type: text/plain; charset=ISO-8859-1 X-Content-Filtered-By: Mailman/MimeDel 2.1.14 X-BeenThere: freebsd-arm@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Porting FreeBSD to the StrongARM Processor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 12 Nov 2012 14:45:48 -0000 Have you checked serial console? Fyi, I just built FreeBSD HEAD with some COPTFLAGS and custom kernel config for optimization couple of hours ago and does boot Regards, Alie T