New seL4 ports
by Announcements about seL4 low volume list
30 Mar '15
30 Mar '15
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.
