Anatomy of a Run-Time - Your Contract with the Kernel
Offered By: linux.conf.au via YouTube
Course Description
Overview
Syllabus
Intro
Anatomy of a run-time
Overview
Programming language run-time
Features of run-times & standard libraries
How a runtime provides features
Rust on Linux
A simple file server
Freestanding C18 Embedded applications
What is a microkernel? Developing with a microkernel
What features does sel4 provide? Developing with a microkernel
The initial thread in an sel4 system
Crun-time for seL4 initial thread
Useful application in the initial thread?
Bootstrapping an OS on sel4
C runtime for initial OS
Full system support Building operating system components
Operating system personalities Building operating system components
An operating system personality Building operating system components
C runtime for our OS personality
Requirements of 'portable' run-times
Taught by
linux.conf.au
Related Courses
UNSW Computing 1 - The Art of ProgrammingOpenLearning C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera Beginning Game Programming with C#
University of Colorado System via Coursera Introduction to Computing 计算概论A
Peking University via Coursera Comprendre les Microcontroleurs
École Polytechnique Fédérale de Lausanne via Coursera