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
