The first day of the event included over a dozen presentations by government, industry, and academia experts discussing a variety of topics specifically related to the seL4® microkernel. Dr. Peter Neumann, SRI International, was the keynote speaker for the seL4 Summit event, and Dr. Raymond Richards, DARPA, was instrumental in both speaking at the Summit as well as his guidance and support for organizing the event. A broad spectrum of topics related to seL4 technology was presented during the Summit, and those in attendance absorbed a wealth of seL4-related information presented by experts representing government, industry, and academia. The tightly packed agenda of the Summit can be viewed in the Agenda section below. For those speakers who “opted-in”, their presentations can also be downloaded below.
On the second day of the event, attendees had the option of continuing with the “General Session” track containing further presentations and interactions with discussion panels, or, attendees chose the “Training Session” track, which provided a more “hands-on” approach. Both tracks conveyed a substantial amount of information regarding seL4. The hands-on portion of the training sessions occurred on the second and third days of the seL4 Summit event.
Material from prior classes sponsored by the Griffiss Institute was combined with information from DARPA sources as well as newly developed material in order to form the classwork for those interested in the Training Session track. The Thursday (2nd day) morning session was primarily an informal setup and configuration session for those attendees that did not have their computers fully configured for later hands-on training. Thursday afternoon was dedicated to providing users with an overview of seL4 technology from a developer’s perspective and a discussion of the existing seL4 repository and its organization. Thursday afternoon completed with an introductory hands-on session running “seL4test” (a series of unit tests meant verify a proper seL4 build), and a simple “Hello World” application was developed and tested. Friday morning’s Training Session continued with the attendees building and deploying seL4 on a Raspberry Pi 3 board, a general discussion of the seL4 API, and a hands-on session about developing multi-threaded applications using the newly developed seL4 API extensions. Friday afternoon was reserved for a question and answer session for those wishing to discuss seL4 development further.
2018 Summit Agenda
Wednesday, Nov. 14 | Tuhursday Nov. 15
Wednesday, November 14, 2018
Chair & Time
Session #1 – Assured Systems – Overview Dr. Jason Li
Opening Remarks and Introduction (Dr. Raymond Richards, DARPA) 08:45AM – 09:00AM