Nexus Micro
Prototype Verified
Nexus Micro is the embedded profile — a 180KB to 1.2MB system for single-board computers, embedded platforms, and satellite hardware.
Target Hardware
- Raspberry Pi (ARM64)
- VisionFive 2 (RISC-V 64)
- Satellite embedded computers
- Industrial controllers with MMU
What's Included
- Rumpk kernel (280KB)
- 3–10 NPL drivers (hardware-specific)
- NexFS Core format (basic filesystem)
- LwIP network stack (grafted, in Membrane)
- ProvChain audit trail
- Optional: SignalForge Radio for satellite/IoT
Key Characteristics
| Feature | Details |
|---|---|
| Boot time | <600ms to operational |
| Memory footprint | <1MB kernel + services |
| Flash footprint | 180KB – 1.2MB |
| SMP | Optional (single-core common) |
| Networking | LwIP (IPv4/IPv6), optional UTCP |
| Update mechanism | BEB (dual-bank flash) |
Satellite Deployment
Nexus Micro is the target profile for the ESA Hungary demonstration (Q2 2026):
- VisionFive 2 (RISC-V) hardware
- Telemetry NPL for sensor data collection
- BEB for in-orbit firmware updates
- ProvChain for mission audit trail
- ECC scrubbing for radiation tolerance
- Dual-bank flash for atomic updates with rollback
Build
sh
nexus build --profile=micro --arch=riscv64 --target=visionfive2
nexus build --profile=micro --arch=aarch64 --target=rpi4