Support for Raspberry-PI

[Bakul Shah]

On Mon, 04 Jun 2012 14:35:04 EDT Rich Neese <r.neese at 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 at 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.