Hi,
We have run the seL4 on pandaboard[1] (omap4 platform). It seems that the kernel works well, excpet for some tests about timer. Is there anyone interested in it or helping us? The source code can be got from the following link[2] now. (We will upload to github latter.)
btw. I think the devices and platforms supported by seL4 are too few. How to make it easy to let seL4 support more devices? Can anyone give me some suggestion? I suggest to write a document to port seL4 easier.
:)
---