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.
|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|
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.
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).
|0900–0930||Technical topics (NICTA)|
|0930–1030||Application/project overviews (Users)|
|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|
|0830–0900||Building and running a basic CAmkES system|
|1000–1030||Basic CAmkES Theory and Exercise|
|1045–1215||Intermediate CAmkES: Theory and exercises|
Advanced topics (for self‐paced work)