Clone this repo:
  1. e073695 dev: interrupt: arm_gic: Fix ubsan error by Arve Hjønnevåg · 7 days ago main master
  2. 7306e3d binary_search_tree: Add missing type check for bst_search_type by Arve Hjønnevåg · 7 days ago
  3. fdc0761 binary_search_tree: Add search by key instead of node by Arve Hjønnevåg · 7 days ago
  4. cb80daa lib: rust_support: Avoid cyclic dependence on self by Per Larsen · 3 weeks ago
  5. ecd8c7c lib: rust_support: impl thread::spawn wrapper by Khyber Sen · 6 weeks ago

LK

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

See https://github.com/littlekernel/lk for the latest version.

See https://github.com/littlekernel/lk/wiki for documentation.

Builds

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 http://newos.org/toolchains/arm-eabi-5.3.0-Linux-x86_64.tar.xz