Re: [seL4] A port to the Raspberry Pi 2?

On Mon, Mar 9, 2015 at 3:43 PM, Tim Newsham wrote:

"Thus you also have to trust the firmware blob that contains an own OS running on the GPU that is based on ThreadX. "

A more advanced and fun project might be to port seL4 to the GPU :)

This I like... GPU hardware is underutilized in many contexts. There is also the old school OS model where the operating system lived on an IO channel processor. Build the entire system Gentoo style and have at it. I mention Gentoo because nearly all the bits are in motion and handy to inspect and change. I may have to try "emerge world" and see how long it takes a Pi to bake a new set of bits. But that is not a sel4 topic.... -- T o m M i t c h e l l