seL4 now runs on two more platforms: the TI AM355x Beaglebone Black (courtesy of Tim Newsham) and the Allwinner A20-based CubieTruck (courtesy Robbie Van Vossen). The BeagleBone port includes the userspace libraries; the CubieTruck port so far includes only the kernel.
These are the two first community-supported ports --- we at NICTA reviewed the code before merging it, but otherwise have not touched it.
As always, code is available on github, at https://github.com/seL4/ -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA
________________________________
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.