seL4

seL4 Developers Days

The first seL4 Developers' Day was held on 14 August, 2015 in the DC area, organised by DARPA. It was considered a success by all participants, and more Developer Days will happen in the future.

The seL4 Developers' Days are informal events, aimed at brining together and building the seL4 community. They are a forum where developers and users can share insights and advice. We provide tutorials, hands-on advice sessions and advanced topics for self-paced work.

Second seL4 Developers' Day

Summary

Where: HRL Laboratories 3011 Malibu Canyon Rd, Malibu, CA, USA
When: 8–9 October, 2015
Who: People interested in learning to develop seL4-based systems
Registration:    Closed

Note: This is an event organised by DARPA. If you are not a US citizen, it is required that you fill out a Form 60 and return it to Team Launchbury (the address will be provided in the registration form) by October 1, 2015, 5:00 pm, EDT. Please reference the paragraph titled Foreign Nationals on the DARPA Visitor Information page to download the Form 60.

Agenda

The second seL4 Developers Day will run over one and a half days, twice as long as the first. It is generously hosted by HRL Laboratories and organised by DARPA, with presenters from the developers team at DATA61 (formerly NICTA).

Day One: Thursday, 8 October, 2015

Time Topic
0830–0900    Check-in
0900–0930 Technical topics (NICTA)
0930–1030 Application/project overviews (Users)
1030–1045 Break
1045–1115 Building and running a basic seL4 program
1115–1215 Basic seL4 API and libraries: Theory and exercise
1215–1330 Lunch (on own)
1330–1430 Vspaces and Cspaces: More in‐depth seL4 theory and exercises
1430–1700 seL4 API and library: Theory and exercises
1700 Closing

Day Two: Friday, 9 October, 2015

Time Topic
0830–0900    Check-in
0830–0900 Building and running a basic CAmkES system
1000–1030 Basic CAmkES Theory and Exercise
1030–1045 Break
1045–1215 Intermediate CAmkES: Theory and exercises

Throughout Days One and Two

Advanced topics (for self‐paced work)