I did all my beaglebone black development from a remote ubuntu desktop and tested images using netboot and a serial console. The netboot was slightly slow but it avoided having to write any flash or sd cards, and I didn't have to constantly boot into and out of a dev environment.
Instructions for netbooting sel4 on the bbone black are on the website: https://sel4.systems/Info/Hardware/Beaglebone/ On Wed, Jan 6, 2016 at 3:01 PM, Tom Mitchell <mi...@niftyegg.com> wrote: > On Sat, Jan 2, 2016 at 10:18 AM, Julien Delange <julien.dela...@gmail.com> > wrote: > >> Dear all, >> >> I am looking to purchase a board for a project that will use sel4. >> >> I have the following hardware requirements: >> - serial port >> - ethernet >> - potentially usb >> >> Then, I want to run linux on top of sel4 and have also some native >> components. >> > > > <https://sel4.systems/lists/listinfo/devel>The BBB does have a way to run > from a uSD card as does the latest Raspberry Pi. > The programming and tools on the Raspberry Pi seem a bit richer. > > The BBB environments want to program the flash memory and that can take > a long time. There are some developer tricks to null it out and boot from > a uSD > quickly. > > The R-Pi will boot a new uSD card image quickly. > The new R-Pi has an abundance of USB ports so you can > boot an OS on the uSD card and load a spare uSD image on > a card mounded on an adapter. This allows quicker development > test cycles. > > Start with the bootstrap code and have it load a sel4 image (not vmlinux). > It is necessary to have enough support in sel4 to manage (start/stop) > your > hosted OS. > > Since the new R-Pi is multi core you can address MP or constrain yourself > to one single core. Multiple cores have value if you want and OS to be > supervised. > > Both are interesting and I have both -- the R-Pi seems to be the best > supported at many levels with some foot notes. > > > http://www.xenproject.org/help/questions-and-answers/raspberry-pi-on-xen.html > http://blog.flexvdi.com/2015/02/25/enabling-hyp-mode-on-the-raspberry-pi-2/ > this next tells me that interrupts are a hardware problem. > http://www.gossamer-threads.com/lists/xen/users/369667 > > > > > -- > T o m M i t c h e l l > > _______________________________________________ > Devel mailing list > Devel@sel4.systems > https://sel4.systems/lists/listinfo/devel > > -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
