From owner-freebsd-arm@FreeBSD.ORG Mon Jun 4 18:57:19 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 5C70D106564A for ; Mon, 4 Jun 2012 18:57:19 +0000 (UTC) (envelope-from bakul@bitblocks.com) Received: from mail.bitblocks.com (ns1.bitblocks.com [173.228.5.8]) by mx1.freebsd.org (Postfix) with ESMTP id 3B2908FC0A for ; Mon, 4 Jun 2012 18:57:19 +0000 (UTC) Received: from bitblocks.com (localhost [127.0.0.1]) by mail.bitblocks.com (Postfix) with ESMTP id A7C8EB827; Mon, 4 Jun 2012 11:57:18 -0700 (PDT) To: Rich Neese In-reply-to: Your message of "Mon, 04 Jun 2012 14:35:04 EDT." <4FCCFFD8.9020800@gmail.com> References: <4F533E46.1070105@freebsd.org> <20120603201229.3fd31c98.torfinn.ingolfsen@getmail.no> <4FCBC564.3060404@freebsd.org> <20120604172053.D4674B827@mail.bitblocks.com> <4FCCFFD8.9020800@gmail.com> Comments: In-reply-to Rich Neese message dated "Mon, 04 Jun 2012 14:35:04 -0400." Date: Mon, 04 Jun 2012 11:57:18 -0700 From: Bakul Shah Message-Id: <20120604185718.A7C8EB827@mail.bitblocks.com> Cc: freebsd-arm@FreeBSD.org Subject: Re: Support for Raspberry-PI X-BeenThere: freebsd-arm@freebsd.org X-Mailman-Version: 2.1.5 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, 04 Jun 2012 18:57:19 -0000 On Mon, 04 Jun 2012 14:35:04 EDT Rich Neese wrote: > On 6/4/2012 1:20 PM, Bakul Shah wrote: > > On Sun, 03 Jun 2012 13:13:24 PDT Oleksandr Tymoshenko > wrote: > >> FreeBSD for R-Pi is non-existent as of now. The problem with porting - > >> there is no way to netboot device. So Alexander Rybalko and I are > >> working on U-Boot port for Raspberry-Pi. Once we'll have netboot option > >> thighs should go much faster. > > I haven't tried this yet but presumably you can NFS mount your > > kernel dev system and just kexec() the freebsd kernel (or > > netboot!) from linux... This may be a good short term path. > > Also note that someone has got jtag working. You do have to > > solder a wire on the S5 connector to make it work (& voiding > > your warranty)! See > > http://github.com/dwelch67/raspberrypi/armjtag > you should be able to netboot from bsd why use linux Because no bsd runs on the raspi as yet but linux does! There is no u-boot or netboot on it either. The GPU loads a file called kernel.bin from a FAT partition. So the idea is you boot linux on the raspi, scp an elf binary file you want to boot from (or nfs mount a freebsd filesystem on it) and kexec() this file. It is upto the binary what happens next. This binary can be *BSD or netboot. In fact different people can work on each in parallel. Once either is ported, you can bypass linux.