b8da01d879
TIME HAS BEEN INVENTED ====================== Rumpk now has cooperative multitasking with Fibers. BOOT OUTPUT ----------- [Fiber A] I am alive! Yielding to B... [Fiber B] Hello from B! Yielding to A... [Fiber A] I am back! Yielding to B... [Fiber B] Returned! Yielding to A... [Fiber A] Final return. Halting. IMPLEMENTATION -------------- hal/switch.S: - ARM64 context switch (96-byte frame, 16-byte aligned) - Saves x19-x28, x29 (FP), x30 (LR) - Stack pointer swap between fibers core/fiber.nim: - FiberObject with state (sp, entry) - fiber_trampoline() - entry point for new fibers - init_fiber() - sets up initial stack frame - switch() - cooperative yield to another fiber BUILD FIXES ----------- - Added -fno-sanitize=all to prevent ubsan interference - Added --checks:off --assertions:off to Nim - Fixed stack alignment (104 -> 96 bytes) PHASES COMPLETED ---------------- ✅ Phase 1: Documentation (SPEC-008/009/010) ✅ Phase 2: Pure Zig libc (Freestanding Doctrine) ✅ Phase 3: Cooperative Fibers (Ping Pong) → Phase 4: NPL loading + Ed25519 → Phase 5: VisionFive 2 RISC-V The unikernel can now multiplex execution. POSIX threads are optional. We own the scheduler. |
||
|---|---|---|
| .zig-cache | ||
| boot | ||
| core | ||
| hal | ||
| io | ||
| README.md | ||
| build.sh | ||
| build.zig | ||
| run.sh | ||
README.md
Rumpk: The Modular Unikernel
"The Kernel is a Library. The App is the OS."
Status: EXPERIMENTAL
Languages: Zig (L0) + Nim (L1)
Design: POSIX-hostile, Military-grade
Directory Structure
rumpk/
├── boot/ [L0] Entry & Architecture (Zig/Asm)
│ ├── start.S Multiboot2/EFI entry point
│ └── arch/ Architecture-specific code
├── hal/ [L0] Hardware Abstraction (Zig)
│ ├── mm.zig Physical/Virtual Memory
│ ├── irq.zig Interrupt handling
│ ├── serial.zig UART/Early logging
│ └── abi.zig C-ABI export to Nim
├── core/ [L1] Logic (Nim)
│ ├── kernel.nim kmain() entry
│ ├── sched.nim LWKT Scheduler
│ ├── fiber.nim Fiber/Context management
│ └── ring.nim Disruptor buffer
├── sys/ [L2] ABI Glue
│ └── syscall.zig System call handlers
├── payload/ [L3] NPL/NPK Loaders
│ └── loader.nim Signature verification
└── io/ I/O Subsystem
└── governor.nim Adaptive War/Peace mode
Key Features
- Adaptive I/O: War Mode (polling) ↔ Peace Mode (interrupts)
- Disruptor Ring: Lock-free inter-fiber communication
- SipHash IDs: Collision-resistant process identification
- Ed25519: Only signed code executes
Specifications
Build (Coming Soon)
cd core/rumpk
zig build # Build L0 HAL
nimble build # Build L1 Logic