We’re interested in helping, but it may be a while until someone gets around to it, as most people are off for their summer break now (I’m officially on leave as well). However, it would be helpful if you would be more specific about the timer issues you are experiencing: what tests fail, and how?

We are quite aware that more documentation on porting would be helpful. If you want to make a start, that would be greatly appreciated, and and might for the start of expanded documentation on seL4.systems.

On 22 Dec 2014, at 13:31 , 张静轩 <jingxuan.n.zhang@gmail.com> wrote:

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.
:)

---

Jensen Zhang

Tongji University
2014/12/22

[1] http://pandaboard.org/
[2] http://elastos.org/review/#/admin/projects/HD-Elastos

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel