TranquilOS
中文 GitHub

What runs, at a glance.

✓ means running on QEMU or Raspberry Pi. Exploration items live on the roadmap; this list mirrors the repository README.

The EL1 microkernel.

  • AArch64 exception model (EL0–EL3) & MMU virtual memory
  • SMP multicore: per-CPU scheduling with load balancing
  • Preemptive scheduler: split execute / schedule contexts
  • Capability-based access control: CNode, VSpace, Endpoint, Timer, Futex, IRQ…
  • Migrating-thread synchronous IPC + elastic IPC (endpoint pools)
  • Fastcall & upcall: kernel ↔ userspace call forwarding
  • Initcall system (LV0–LV7) for ordered boot initialization
  • High-precision timers & timekeeping (ARM Generic Timer)
  • IRQ management: GICv2 / GICv3
  • Futex synchronization
  • Power management framework (PSCI)
  • Loadable kernel modules: CFS scheduler plugin
  • Performance tracing (perf / perfmgr) and backtrace
  • Console subsystem: UART, VirtIO console

EL2 Type-1 virtualization.

  • Type-1 hypervisor: stage-2 page-table translation
  • VM / VCPU / PCPU lifecycle management
  • VGIC, VTimer, VPMU virtualization
  • Hypcall interface — the foundation for guest ↔ host communication

Core system services.

procmgr

Process management

Process / thread lifecycle, ELF loading, PID lookup.

memmgr

Memory management

Buddy physical-page allocator, virtual address spaces, SHM.

ipcmgr

IPC namespace

Endpoint / pool creation, name service, capability cloning.

virtmgr

VM management

VM creation and lifecycle management.

Independent framework services.

devmgr

Device management

Device driver framework and peripheral management.

fsmgr

Filesystems

VFS abstraction: rootfs, ext2, FAT32, procfs, sysfs.

netmgr

Network stack

lwIP TCP/IP; mbedTLS for HTTPS scenarios.

windowmgr

Window compositor

Window compositing and surface management on the 800×480 canvas.

appmgr

App lifecycle

App registry management; launches app processes on demand.

mmimgr

Multi-modal input

Unified management and dispatch of keyboard, pointer and other input.

audiomgr

Audio service

Audio output management (VirtIO sound).

fontmgr

Font rendering

FreeType rasterization and text layout support.

statemgr

State store

System-wide key-value state service.

timemgr

Time service

Timekeeping, RTC alarms and NTP sync.

agentmgr

AI agent framework

A system-level service framework for AI agents.

imemgr

Input methods

Input method editor (IME) service.

In-kernel drivers and the graphics stack.

Built-in kernel drivers

UART PL011GICv2 / v3ARM Timer RTC PL031PMUCache CCS DMA PL330Mali GPUWatchdog PSCIVirtIO consoleVirtIO block VirtIO netVirtIO inputspin-table

Graphics & third-party libraries

  • LVGL UI component library
  • FreeType font rendering
  • PortableGL software GL
  • lwIP · mbedTLS · musl · cJSON · minimp3 · toybox
  • Upstream sources are never modified directly — adaptation layers live in os/libs/ and sys/ulibs/

14+ user applications.

All running on the same service boundaries, registered and launched via appmgr.

systemuilaunchersettingsfilesmonitor memomusiccalendarclockwhiteboard calculatornesaiboot_animation