It's Time for Operating Systems to Rediscover Hardware

on YouTube ↗01h 06m

" summary

Argument: mainstream OS research treats hardware as a uniform cache‑coherent SMP and ignores the heterogeneous reality, with concrete consequences: the Qualcomm modem DMA compromise shows a peripheral OS can reprogram IOMMU and break host assumptions; board management controllers run hundreds of thousands of lines before main CPUs and control power; published OS papers all target PC‑like hardware. Built response: an Enzian hybrid CPU/FPGA board and formal modeling of multiple physical address spaces expose real problems and use FPGAs to prototype and debug new OS/hardware interfaces.

AI-written summary · about

" chapters (14)

1. 0:00Introduction and context
2. 2:26OS research landscape
3. 4:43The problem with OS research
4. 7:16Defining operating systems
5. 10:09Hardware reality vs. fantasy
6. 14:16The crisis in OS design
7. 19:24Security and power challenges
8. 25:43The decline of OS research
9. 27:45Addressing OS denial
10. 32:28Technical solutions and future
11. 40:00Building research platforms
12. 43:57The hidden complexity
13. 45:47Call to action and conclusion
14. 48:45Q&A Session