From the
Workbench.
Technical explorations, project lessons, and the occasional question that deserves a longer answer.
Microkit / Fundamentals
Reading a Microkit System Description
Understand how a program image becomes part of a Microkit system, and learn to read the configuration before adding more code.
Microkit / ToolchainMicrokit on QEMU: The Basic Toolchain
Set up Microkit 2.4.0, build its hello example, and boot it in QEMU. Switch between commands for Intel macOS and Ubuntu Linux.