Clone this repo:
  1. bc7af85 [make] Support to build userspace with HWASan by Tri Vo · 3 weeks ago master
  2. a660198 Split out shared GLOBAL_* flags from kernel by Stephen Crane · 3 months ago
  3. 61ea199 [make] Force correct frame pointers for sancov by Stephen Crane · 9 weeks ago
  4. 20043c3 [make] Support to build userspace with sancov by Tri Vo · 10 weeks ago
  5. c92a54d Share header containing assembler macros with userspace by Per Larsen · 8 weeks ago


The LK embedded kernel. An SMP-aware kernel designed for small systems.

See for the latest version.

See for documentation.


Build Status

To build and test for ARM on linux

  1. install or build qemu. v2.4 and above is recommended.
  2. install gcc for embedded arm (see note 1)
  3. run scripts/do-qemuarm (from the lk directory)
  4. you should see ‘welcome to lk/MP’

This will get you a interactive prompt into LK which is running in qemu arm machine ‘virt’ emulation. type ‘help’ for commands.

note 1: for ubuntu: sudo apt-get install gcc-arm-none-eabi or fetch a prebuilt toolchain from