7 Jan
2016
7 Jan
'16
2:28 p.m.
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 <mitch(a)niftyegg.com> wrote:
On Sat, Jan 2, 2016 at 10:18 AM, Julien Delange
<julien.delange(a)gmail.com>
wrote:
--
Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com
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.ht…
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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel