The seL4 Microkernel
964 subscribers
17:28
Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael Neises
The seL4 Microkernel
354 views • 8 months ago
16:01
seL4 on RISC-V: Building a Trusted Execution Environment - Everton de Matos
The seL4 Microkernel
328 views • 8 months ago
16:26
Building a Commercial Virtualized Mobile Device with seL4 – Part 2 - Jason Sebranek, Cog Systems Inc
The seL4 Microkernel
175 views • 8 months ago
26:10
SIG update, Community Update and... - Kent McLeod, Yanyan Shen, Matthew Brecknell, Everton de Matos
The seL4 Microkernel
43 views • 8 months ago
15:42
Gold Sponsor: Secure Systems in Focus: Challenges, Solutions, & Future Directions - Everton de Matos
The seL4 Microkernel
37 views • 8 months ago
18:21
Gold Sponsor: OS for Software Defined Vehicle - Qiyan Wang, NIO
The seL4 Microkernel
179 views • 8 months ago
23:29
IOMMU (Take the ARM SMMUv3 for Instance) Solutions for seL4 - Lei Mao, Horizon Robotics
The seL4 Microkernel
278 views • 8 months ago
14:09
Toward a Verified, Minimal IPv6 Network Stack Implementation - Wyeth Greenlaw Rollins, Lewis
The seL4 Microkernel
59 views • 8 months ago
24:21
Incremental Assurance for a Rust Network Stack - Michal Podhradsky, Galois Inc
The seL4 Microkernel
67 views • 8 months ago
33:46
seL4 on Arm Morello - Martin Atkins, Mission Critical Applications Limited
The seL4 Microkernel
86 views • 8 months ago
27:51
seL4 VMM on the RISC-V Rocket Chip - Robbie VanVossen, DornerWorks
The seL4 Microkernel
178 views • 8 months ago
45:52
Panel: OS on seL4: So Many Options! - Juliana Furgala, Kent McLeod, Sid Hussmann, Gernot Heiser
The seL4 Microkernel
103 views • 8 months ago
28:11
Leveraging Rust for Core Platform - Ben Hamlin, Galois Inc
The seL4 Microkernel
67 views • 8 months ago
28:46
The seL4 Microkit - Ivan Velickovic, UNSW
The seL4 Microkernel
329 views • 8 months ago
31:02
Rust Support in seL4 Userspace: Update and Roadmap - Nick Spinale, Colias Group LLC
The seL4 Microkernel
203 views • 8 months ago
32:47
Showcase: Microkernel OS, TPMs, and WASM in IIoT Environments - Sid Hussmann, Gapfruit
The seL4 Microkernel
149 views • 8 months ago
31:09
Magnetite: Rust-Based OS Services for seL4 - Juliana Furgala, MIT Lincoln Laboratory
The seL4 Microkernel
210 views • 8 months ago
50:48
CantripOS: An OS for Ambient ML Applications - Kai Yick, Google; Sam Leffler, Google
The seL4 Microkernel
90 views • 8 months ago
8:57
Announcements - June Andronick, Proofcraft
The seL4 Microkernel
23 views • 8 months ago
19:32
Gold Sponsor: Building a Platform for Critical Devices in the “Real World” - Boyd Multerer, Kry10
The seL4 Microkernel
48 views • 8 months ago
12:52
seL4 Foundation Update - June Andronick, Proofcraft
The seL4 Microkernel
30 views • 8 months ago
15:02
Crashing for Reliability - Ihor Kuz, Kry10
The seL4 Microkernel
30 views • 8 months ago
15:38
From Zero to a Native xHCI Driver - Josh Felmeden, Capgemini Engineering
The seL4 Microkernel
138 views • 8 months ago
12:08
seL4: Experiences, Improvements, and Optimizations - Chris Guikema, DornerWorks
The seL4 Microkernel
48 views • 8 months ago
33:53
R&D Update from TS - Colias Group, LLC TS Gernot, Leader, Trustworthy Systems at UNSW Sydney
The seL4 Microkernel
46 views • 8 months ago
28:10
The seL4 Device Driver Framework - Lucy Parker, UNSW
The seL4 Microkernel
148 views • 8 months ago
25:53
Advancements for Virtualization Support in seL4: CAmkES and seL4cp - Markku Ahvenjärvi
The seL4 Microkernel
124 views • 8 months ago
30:30
System Information Flow Analysis - Ihor Kuz, Kry10
The seL4 Microkernel
41 views • 8 months ago
29:55
More Multiprocessing on seL4: Are Efficient SMP Virtual Machines Possible... - Kent McLeod, Kry10
The seL4 Microkernel
119 views • 8 months ago
28:15
Reducing the Reliance on Verification Experts for seL4 Proofs - Gerwin Klein, Proofcraft
The seL4 Microkernel
48 views • 8 months ago
Load More