Date: Mon, 04 Jun 2012 10:20:53 -0700 From: Bakul Shah <bakul@bitblocks.com> To: Oleksandr Tymoshenko <gonzo@freebsd.org> Cc: freebsd-arm@FreeBSD.org Subject: Re: Support for Raspberry-PI Message-ID: <20120604172053.D4674B827@mail.bitblocks.com> In-Reply-To: Your message of "Sun, 03 Jun 2012 13:13:24 PDT." <4FCBC564.3060404@freebsd.org> References: <CAB3Sx6f7TPkfAfsmS_SWch5kGkyxv9=43nV66ToDRQmG4vv9ug@mail.gmail.com> <4F533E46.1070105@freebsd.org> <20120603201229.3fd31c98.torfinn.ingolfsen@getmail.no> <4FCBC564.3060404@freebsd.org>
next in thread | previous in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20120604172053.D4674B827>