Completed
writability
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Regions Are Types, Types Are Policy, and Other Ramblings
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Who am I
- 3 Root of Trust
- 4 Loch Ness Monster
- 5 Software is not easy
- 6 Policy granularity
- 7 Types
- 8 Interpreted languages
- 9 compiled languages
- 10 dependent types
- 11 file permissions
- 12 types and policy
- 13 policy
- 14 wish lists
- 15 understanding policy
- 16 semantics of uboot
- 17 bootloader
- 18 what to expect from bootloader
- 19 how should you behave
- 20 boot loaders
- 21 boot image
- 22 memory regions
- 23 black
- 24 tool suite
- 25 the bootloader
- 26 blockwrite operations
- 27 call graph
- 28 call stack instrumentation
- 29 writability
- 30 final thoughts
- 31 kitty
