Hi Jensen, Thanks for contributing to seL4. 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. Gernot On 22 Dec 2014, at 13:31 , 张静轩 mailto: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.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.