- Announce - lists.sel4.systems

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.

1 0

DARPA funds building stuff on seL4
by Announcements about seL4 low volume list 18 Dec '14

18 Dec '14

DARPA has just issued a SBIR call titled "Secure Software Components Leveraging the seL4 Microkernel”, see https://www.dodsbir.net/sitis/display_topic.asp?Bookmark=45918 The SBIR program funds “small” enterprises (that’s <500 employees in US speak) that are majority US-owned. The program clearly aims at developing an ecosystem around seL4. In the past US company that won SBIR projects sub-contracted some of the work to NICTA, so there seems to be no problem in involving foreign entities as subcontractors. Gernot ________________________________ 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.

1 0

seL4-based "RefOS" released
by Announcements about seL4 low volume list 04 Nov '14

04 Nov '14

Today we announce the release of the RefOS project. RefOS is an OS personality that runs on seL4. RefOS stands for "Reference OS", the aspirational goal of the project, which is to provide a reference OS personality for seL4. RefOS is a student project built as a case study to explore more dynamic virtual memory (VM) management systems than the typical static systems architected on separation kernels. When compared to statically allocated systems, a key difference (and complexity) of dynamic VM management is relaxing the assumption that virtual memory (and memory objects) are managed by a single task upon the microkernel (or by the microkernel itself). RefOS has a distributed VM framework inspired by the Sawmill VM framework [1], though differing in the centralisation of some core book-keeping into a single server (mainly fault forwarding and mapping authorisation). An additional goal of the project was to create tension between user-level and kernel-level VM primitives to enable ongoing kernel experimentation in the area of higher-level VM abstractions. The current functionality of RefOS consists of processes, an in-memory boot-image file server, and console support. Additionally, some games and test applications have been ported to the system. RefOS is available at https://github.com/seL4/refos-manifest under a "BSD 2-Clause" license. [1] Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, and Luke Deller. 2001. The sawmill framework for virtual memory diversity. In Proceedings of the 6th Australasian conference on Computer systems architecture (ACSAC '01). IEEE Computer Society, Washington, DC, USA, 3-10. ________________________________ 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.

1 0

It's Out!
by Announcements about seL4 low volume list 29 Jul '14

29 Jul '14

seL4 is now open source. Enjoy, Gernot ________________________________ 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.

1 0

Licenses
by Announcements about seL4 — low volume list 27 Jul '14

27 Jul '14

For the benefit of those who don’t follow my tweets ;-) some update on the release (due in 2d 3k 10m): The kernel and proofs will be released under GPLv2. We’ll also release some tools and userland code, that will be a mixture of GPLv2 and 2-clause BSD. See http://sel4.systems/FAQ for details. Gernot ________________________________ 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.

1 0

Welcome to announce@seL4.systems!
by Announcements about seL4 — low volume list 05 Jun '14

05 Jun '14

Yes, it’s (semi-)official: we’ll be going open-source on 29 July! Of course, by the time you subscribe to this list you’ll already know that, and are keen to find out more. Stay tuned! Gernot ________________________________ 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.

1 0