Completed
Microkernels
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Betrusted - Better Security Through Physical Partitioning
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Motivation: Hardware You Can Trust With Your Life
- 3 Complex Things are Hard to Analyze
- 4 Software Isolation is Dead Speed or safety: pick one
- 5 Motivated Adversaries
- 6 Untrustable Supply Chains
- 7 There is no HMAC for Hardware
- 8 State of the Art: Secure Enclaves
- 9 The 1/0 Problem
- 10 Bottom Line: Want Trust? There are Tradeoffs
- 11 Betrusted: Verification Requires Simplicity. Simplicity Requires Focus. • The solution depends on
- 12 The Betrusted Design Context
- 13 Simple and Verifiable by Design
- 14 Design Envelope Summary
- 15 Xous: A Betrusted OS
- 16 Betrusted Goals
- 17 Microkernels
- 18 Too Many Cooks
- 19 Felix' Rule of Thumb
- 20 Principles of Software
- 21 Rust OS Landscape
- 22 Rust-based OS: Redox
- 23 Rust-based OS: Tifflin
- 24 Xous: Memory Model
- 25 Xous: Interrupts
- 26 Xous: Missing Features
- 27 Betrusted: Software
- 28 Rust Development progression
- 29 i18n: output
- 30 Emojis!
- 31 i18n: input
- 32 Layer #2: The device
- 33 How can I get involved?
