Completed
What features does sel4 provide? Developing with a microkernel
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Anatomy of a Run-Time - Your Contract with the Kernel
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Anatomy of a run-time
- 3 Overview
- 4 Programming language run-time
- 5 Features of run-times & standard libraries
- 6 How a runtime provides features
- 7 Rust on Linux
- 8 A simple file server
- 9 Freestanding C18 Embedded applications
- 10 What is a microkernel? Developing with a microkernel
- 11 What features does sel4 provide? Developing with a microkernel
- 12 The initial thread in an sel4 system
- 13 Crun-time for seL4 initial thread
- 14 Useful application in the initial thread?
- 15 Bootstrapping an OS on sel4
- 16 C runtime for initial OS
- 17 Full system support Building operating system components
- 18 Operating system personalities Building operating system components
- 19 An operating system personality Building operating system components
- 20 C runtime for our OS personality
- 21 Requirements of 'portable' run-times
