Clone this repo:
  1. 3a18735 Add VINTF TA port in Trusty by Alice Wang · 4 weeks ago main master
  2. 698b2ff kernel: mutex: Don't allow mutex_acquire with interrupts disabled by Arve Hjønnevåg · 4 weeks ago
  3. 0dd02aa make/module.mk: Trigger module rebuild on ARCH changes by Bartłomiej Grzesik · 4 weeks ago
  4. f7499f9 dev: virtio: vsock: Use VsockManager trait to support vsock device by Ayrton Munoz · 5 weeks ago
  5. a4d99a2 dev: virtio: vsock-rust: Add generated bindings for virtio-msg by Per Larsen · 5 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