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