The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures.

 

High Level Features
  • Fully-reentrant multi-threaded preemptive kernel
  • Portable to many 32 and 64 bit architectures
  • Support for wide variety of embedded and larger platforms
  • Powerful modular build system
  • Large number of utility components selectable at build time

 

Supported architectures
  • ARM32
    • Cortex-M class cores (armv6m – armv8m)
    • ARMv7+ Cortex-A class cores
  • ARM64
  • RISC-V 32 and 64bit bit in machine and supervisor mode
  • x86-32 and x86-64 386 up through modern cores
  • microblaze
  • MIPS
  • OpenRISC 1000

 

You can download IK here