On Mon, Mar 9, 2015 at 3:43 PM, Tim Newsham <tim.newsham@gmail.com> 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