Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 04 Jun 2012 11:57:18 -0700
From:      Bakul Shah <bakul@bitblocks.com>
To:        Rich Neese <r.neese@gmail.com>
Cc:        freebsd-arm@FreeBSD.org
Subject:   Re: Support for Raspberry-PI 
Message-ID:  <20120604185718.A7C8EB827@mail.bitblocks.com>
In-Reply-To: Your message of "Mon, 04 Jun 2012 14:35:04 EDT." <4FCCFFD8.9020800@gmail.com> 
References:  <CAB3Sx6f7TPkfAfsmS_SWch5kGkyxv9=43nV66ToDRQmG4vv9ug@mail.gmail.com> <4F533E46.1070105@freebsd.org> <20120603201229.3fd31c98.torfinn.ingolfsen@getmail.no> <4FCBC564.3060404@freebsd.org> <20120604172053.D4674B827@mail.bitblocks.com> <4FCCFFD8.9020800@gmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Mon, 04 Jun 2012 14:35:04 EDT Rich Neese <r.neese@gmail.com>  wrote:
> On 6/4/2012 1:20 PM, Bakul Shah wrote:
> > On Sun, 03 Jun 2012 13:13:24 PDT Oleksandr Tymoshenko <gonzo@freebsd.org>  
> 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.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20120604185718.A7C8EB827>