seL4 Core Platform: security and performance without the complexity

(Ivan Velickovic, Lucy Parker) Unlike most modern day kernels, seL4 does not enforce policy on user-level software. Its low-level interfaces give freedom and power to user level applications. However, this comes at the cost of a very steep learning curve when developing correct and performant systems on top of seL4. The seL4 Core Platform provides the tools to easily build a complete system on seL4 while leveraging seL4's high security and performance. In this talk, we'll walk through the seL4 Core Platform and how to use it to build secure, high-performing systems, and present an architecture (the seL4 Device Driver Framework) that can be used for high-throughput network applications in an embedded environment.
2023.everythin...
Videos licensed as CC BY-NC-SA 4.0
Everything Open is a conference focused on open technologies, including Linux, open source software, open hardware and open data, and the communities that surround them. The conference provides technical deep-dives as well as updates from industry leaders and experts on a wide array of topics from these areas.
Licensed as CC-BY-SA - creativecommons...
Produced by Next Day Video Australia: nextdayvideo.c...
#everythingopen #linux.conf.au #linux #foss #opensource
Wed Mar 15 11:40:00 2023 at Clarendon Room A