Skip to main content

Internal Structure of Operating Systems

Kernel crunch

BOOTSELLED1239USBRP2-8020/21P64M15.00TTTRaspberry Pi Pico W ©2022DEBUGWi-Fi

OS Internals

Learn about how operating systems works, about their basic concepts, like processes, context switch and memory access.

IOVDD1GPIO811GPIO912GPIO1013GPIO1114GPIO1215GPIO1316GPIO1417GPIO1518TESTEN19GPIO02XIN20XOUT21DVDD23SWCLK24SWD25RUN26GPIO1627GPIO1728GPIO1829GPIO13GPIO1930GPIO2031GPIO2132GPIO2234GPIO2335GPIO2436GPIO2537GPIO26_ADC038GPIO27_ADC139GPIO24GPIO28_ADC240GPIO29_ADC341ADC_AVDD43VREG_IN44VREG_VOUT45USB_DM46USB_DP47USB_VDD48GPIO35QSPI_SD351QSPI_SCLK52QSPI_SD053QSPI_SD254QSPI_SD155QSPI_SS56GND57GPIO46GPIO57GPIO68GPIO79U1RP2040D1LEDGND

Tock / Redox OS / Linux

Understand how Tock (embedded), Redox OS (research) and Linux (production) work.

Build your own

Build your own minimal operating system, starting from a simple OS written in Rust.