STATUS: TRANSPARENT
ABOUT_US
> MICROKERNEL_OS_STACK [OK]
> CAPABILITY_SECURITY [OK]
> OPEN_SOURCE [OK]
// OUR_MISSION
PURPOSE_STATEMENT
TranquilOS is a capability-based microkernel operating system for AArch64, built from scratch by NeoYang. Development began in 2021 and continues today with 1,583 commits and over 607,000 lines of C and ARM64 assembly.
The project combines a minimal microkernel with userspace system services (process management, filesystem, networking, GUI) and 23 user applications, including an AI chat interface powered by DeepSeek.
// PROJECT_METRICS
SYSTEM_STATUS
Kernel v1.4.11
Active development since 2021 (~5 years)
1,583 Commits
Continuous iteration by solo developer NeoYang
607,000 LOC
C, ARM64 Assembly, 7,083 source files
23 User Apps
From NES emulator to AI Chat (DeepSeek)
// CORE_VALUES
DESIGN_PHILOSOPHY
[SECURITY]
Capability-based security ensures fine-grained access control. Kernel objects accessed via typed capabilities with method-level permissions.
[PERFORMANCE]
Microkernel with userspace drivers and migrating-thread IPC for low-latency cross-process communication on SMP systems.
[MODULARITY]
System services (FsMgr, NetMgr, WindowMgr) run as independent EL0 processes. Services can be updated and restarted independently.
[TRANSPARENCY]
Open source under active development on GitHub. 1,583 commits of incremental, reviewable progress.
// TECHNOLOGY
TECH_STACK
Systems Programming
Kernel and core services in C for maximum control and performance
ARM64 Assembly
Critical paths optimized in AArch64 assembly for cycle-level efficiency
GN + Ninja Build
Google's meta-build system for fast, correct incremental builds
DeepSeek Integration
agentmgr service with DeepSeek-powered chat interface
ARMv8-A / ARMv9
Native optimization for Cortex-A53, Raspberry Pi 3B/4B, CM4
LVGL + FreeType
Embedded GUI toolkit with PortableGL for software 3D rendering
// COMMUNITY