We at DornerWorks wanted to let the seL4 community know about some seL4 training
opportunities that we will be providing on behalf of the seL4 Center of Excellence (CoE).
First, we will be providing an introductory webinar that provides an overview and explains
the basics of seL4.
Webinar: Intro to seL4
Thursday, February 7
11 a.m. EST
Register Now: https://dornerworks.clickmeeting.com/intro-to-sel4/register
Second, a more advanced two day training will take place on March 7th. This is a paid
training that will provide information on seL4, libraries, CAmkES, the proof, and
supported platforms. The training will also have hands-on labs that will include
configuring CAmkES applications, debugging seL4 applications with GDB, and writing an HTTP
server application to serve as a real life example.
You can see more information and sign up here: https://www.sae.org/learn/content/c1874/
Finally, we wanted to let people know about our release of our ARMv8 virtualization
feature. We recently received approval to release these features to the public. We have a
press release providing additional details, a link to the code, and user instructions:
. Currently, the release is on
the DornerWorks github and based on an earlier version of seL4 and its libraries. We are
working with Data61 to update to the latest versions and then mainline into the Data61
repositories. This may take some time as we integrate our ARMv8 virtualization code with
Data61's ARMv8 virtualization code.