PRODUCTS / MICROKERNEL
STATUS: ALPHA // v1.4.11

MICROKERNEL

Capability-Based Microkernel for ARMv8-A

AArch64 TARGET_ARCH
SMP MULTI_CORE
EL2 HYPERVISOR
GN+Ninja BUILD_SYSTEM
MODULES TIMELINE DOCS SOURCE

// SYSTEM_ARCH_V1

KERNEL_BLUEPRINT

LAYER 1 - USER APPLICATIONS (23 APPS)
Shell / SystemUI
LVGL GUI toolkit
FreeType rendering
PortableGL (OpenGL)
Window Compositor
AI Chat Assistant
Launcher / Status Bar
Applications (23)
settings
calculator
calendar
clock
memo
music
files
snake
minesweeper
bounce
craft (Minecraft)
whiteboard
NES emulator
gltest (3D)
monitor
about
ai (DeepSeek)
terminal
LAYER 2 - OS SERVICES
DevMgr
device framework
display (ramfb)
input / touch
fw_cfg interface
FsMgr
VFS (vfs_ops)
ext2, fat32
procfs, sysfs
fd_table / session
NetMgr
lwIP TCP/IP stack
HTTP / HTTPS
mbedTLS crypto
WindowMgr
window compositor
surface manager
AgentMgr
AI agent lifecycle
DeepSeek integration
AudioMgr MP3 (minimp3)
FontMgr FreeType
AppMgr app lifecycle
Zygote process fork
LAYER 3 - SYSTEM DAEMON (systemd / EL0)
ProcMgr
process_s / thread_s
ELF loader (elf_parse)
CNode / VSpace mgmt
PID allocation
IpcMgr
endpoint namespace
service registration
name lookup
LAYER 4 - MICROKERNEL (EL1)
A. Capability System
CNode, VSpace, SContext
XContext, IPC Endpoint
Timer, Futex, Console
method-level permissions
B. IPC Subsystem
migrating-thread IPC
elastic IPC support
fastcall / upcall
split exec/sched context
C. Scheduler
per-CPU local scheduler
pluggable framework
FIFO ready queue
thread affinity (SMP)
D. Memory Mgmt
address_space_s
page_allocator_s
sparse memory model
bootmm (early alloc)
E. IRQ & Timer
GICv2 / GICv3 support
RB-tree timer mgmt
high-precision time
F. Syscall & Futex
cap_call_dispatch()
fast_call_dispatch()
futex synchronization
args x0-x7 registers
LAYER 5 - TYPE-1 HYPERVISOR (EL2)
VM Management
VM / VCPU lifecycle
stage-2 page tables
memory isolation
Virtual Devices
virtual GIC (vGIC)
virtual Timer (vTimer)
virtual PMU (vPMU)
Hypcall guest-host IPC
PCPU Mgmt multi-core VM
LAYER 6 - HARDWARE ABSTRACTION LAYER
hal_cpu
priv level, barrier
hal_context
reg save/restore
hal_interrupt
enable/disable IRQ
hal_exception
exception vectors
hal_mmu
page table ops
hal_atomic
atomic ops
LAYER 7 - HARDWARE DRIVERS (14 CATEGORIES)
GICv2/GICv3
Generic Timer
PL011 UART
PL031 RTC
PMU/SPE/DSU
PL310 Cache
PL080 DMA
Mali GPU
SP805 WDT
PSCI / spin
VirtIO-MMIO
HVdriver
LAYER 8 - PHYSICAL HARDWARE
Cortex-A53 (ARMv8-A)
GIC-400 Interrupt
DRAM (2GB+)
MMU (ARMv8)
Mali GPU / NPU

// PROJECT_STATS

REPO_OVERVIEW

COMMITS 1,583
LINES_OF_CODE 607K
DEVELOPMENT ~5yr
USER_APPS 23

// DEVELOPMENT_LOG

EXECUTION_PLAN

PHASE_1: KERNEL_CORE [DONE]

  • MMU & Virtual Memory
  • IRQ & Context Switching
  • Capability System (CNode, VSpace)
  • Migrating-Thread IPC

PHASE_2: SYSTEM_SERVICES [DONE]

  • ProcMgr / MemMgr / IpcMgr
  • Hypervisor (EL2, VMs)
  • GUI Stack (LVGL, FreeType)
  • 23 User Applications

PHASE_3: USERSPACE [ACTIVE]

  • File System (ext2/fat32/VFS)
  • Network Stack (lwIP/HTTPS)
  • Enhanced agentmgr IPC
  • Real HW (CM4, Pi4b)
SYSTEM_LOG [REC]
09:01:22.450 [KRN] SCHED: Load balancing... 09:01:22.455 [KRN] MEM: Page fault mapped @0x4000 09:01:23.100 [SYS] IPC: msg sent (pid:12 -> pid:4) 09:01:23.102 [SOC] NET: Packet received (len:64) 09:01:24.001 [USR] SHELL: Command dispatch 'ls' 09:01:24.005 [FS] VFS: Directory lookup '/bin' 09:01:24.010 [SYS] PROC: New process spawned (pid:33) 09:01:25.200 [KRN] IRQ: GICv3 interrupt #27 09:01:25.205 [DRV] UART: Buffer flush _