On Sat, Jan 2, 2016 at 10:18 AM, Julien Delange <julien.delange@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.

 

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