Completed
Microkernel: seL4 vs Linux Licensing
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Verified seL4 on Secure RISC-V Processors
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 seL4: The Dream Come True!
- 3 A Microkernel is not an OS
- 4 Core Mechanism: Object Capability
- 5 Microkernel: seL4 vs Linux Licensing
- 6 Military-Strength Security
- 7 World's Most Secure OS: Arm v7
- 8 Background: HENSOLD Cyber
- 9 Performance on RV64 Message-passing round-trip latency in cycles
- 10 Verification: RISC-V Status
- 11 Sharing: Stateful Hardware Low
- 12 Time Protection: Partition Hardware
- 13 Spatially Partition: Cache Colouring
- 14 Foundation Structure
- 15 Community Engagement
