Operating Systems with Functional Principles
This course is designed to give you an overview of what an operating system is, and how a modern operating system works. There are many different examples of operating systems available for computers.
The First Billion Real Deployments of Unikernels _ Dr Anil Madhavapeddy (Lecture 2)
Rebuilding Operating Systems with Functional Principles _ Dr Anil Madhavapeddy (Lecture 1)
Programming the Next Trillion Embedded Devices _ Dr Anil Madhavapeddy (Lecture 3)
Operating System Fundamentals