Third Annual Summit Technical Program
November 15-19, 2020
The third CoE Summit was held November 16-18, 2020, with an optional self-paced tutorial available to all participants on the Sunday just prior to the Summit start, on November 15th. Due to the COVID pandemic, this year’s Summit was a virtual event. The intensive four-day event provided registrants the opportunity to attend presentations by government, industry, and academia experts interact with discussion panels, and obtain an introductory, hands-on self-paced tutorial for the seL4® microkernel. Approximately 121 government, industry, and academia attendees attended the 2020 CoE Summit.
Once logged in, registrants were presented with the Summit Virtual Hub that was the center of all activity surrounding the event. Each day of the Summit was selectable at the top of the page and, when selected, the agenda for that day was presented. Each presentation title was a hyperlink to a page where the pre-recorded presentation was viewed, and a discussion board was available for attendees to ask questions and interact with the speaker and other attendees. Once presented in accordance with the agenda timing, the pre-recorded presentations were then available for viewing for the rest of the Summit and afterwards, allowing attendees to view at their convenience.
Based upon feedback from prior Summits, the number of presentations per day and the length of breaks were structured to facilitate more discussion and provide the opportunity for networking. A broad spectrum of topics related to seL4® technology were presented during the Summit, and those in attendance absorbed a wealth of seL4®-related information presented by experts representing government, industry, and academia.
The first day of the 2020 CoE Summit, Sunday November 15th, was an optional self-paced tutorial providing an introduction to seL4® and some hands-on exercises to step the user through some of the more useful concepts in understanding and using seL4®. The exercises provided a set of building blocks that culminated in the re-creation of one of the first ever video games, the game of Pong. The content was downloadable from the Summit Virtual Hub and consisted of the following:
- Introduction to seL4 (ppt) – a self-guided PowerPoint slide deck providing an introduction to seL4 along with guidance for the hands-on exercises.
- seL4-IAI.ova – a virtual machine pre-equipped with all the necessary environment setup needed to build seL4 projects within Docker containers.
- VM-Instructions (pdf) – details on the set up of the virtual machine (VM).
- Environment-setup (shell script) – to assist in configuring the attendee’s machine if they choose not to use the VM.
- Exercises (zip) – 11 different exercises to assist attendees in learning seL4 concepts and putting them in to practice. Most of the exercises contain a src folder and a solution folder. The src folder contains partially completed code with portions to be completed by the student. The solution folder contains the fully completed code.
- Exercises (ppt) – the exercise slides from the Introduction to seL4 slide deck, separated for your convenience.
2020 Summit Agenda
Sunday, Nov. 15 | Monday, Nov. 16 | Tuesday, Nov. 17 | Wednesday, Nov. 18