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
Description:
Explore the intricate relationship between operating system kernels and language run-times in this 30-minute conference talk from linux.conf.au 2020. Delve into how kernel design influences run-time development, essential components for software creation, and the impact of existing design choices on software portability. Examine specific examples including Rust on Linux, freestanding C18 embedded applications, and microkernel development with seL4. Gain insights into building operating system components, creating OS personalities, and understanding the requirements for 'portable' run-times. Learn how these factors shape the future of programming languages and kernel development in the open-source ecosystem.
Anatomy of a Run-Time - Your Contract with the Kernel