Intro to seL4 Microkernel 🚀

The seL4 microkernel is enabling new security features in product development for cutting edge fields like aerospace and defense, and in the open source community, fully portable to RISC-V processing architecture. It’s an incredibly valuable technology, and equally as complex to master. We understand, and we’ve put together this webinar to help you learn how to use seL4 in your own development.

DornerWorks embedded engineer Robbie VanVossen leads this presentation, which explains the various components of the seL4 microkernel and how it’s able to deliver extreme security to verified hardware platforms. While you don't hear him in this event, embedded engineer Jesse Millwood provided insight to questions sent to us before and during the presentation.

We will cover these topics and more:

✔ How to show security with seL4

✔ seL4 capabilities

✔ seL4 kernel API

Here's where you can find the slides for the presentation:

https://goo.gl/374V9c

Data61 developed seL4 in about 12,000 lines of C and assembly code to “provide a reliable, secure, fast, and verified foundation for building trustworthy systems.”

Dornerworks has furthered Data61’s work by providing open source binary verification tools for the microkernel, as well as expanding the seL4 ecosystem through key partnerships with organizations aligned with aerospace and defense.

DornerWorks has been helping clients improve their products’ security and protect valuable IP for years. When you’re ready to leverage the extreme security of the seL4 microkernel, we can help you get started right away with a seL4 Quick Start Package.

Visit DornerWorks.com today and schedule your first meeting!