VAOS Status
The VAOS truth matrix. What is verified, what is in progress, what is planned. No claim is presented as implemented unless it is.
Operational
- Public release
- No public release yet
- Active platform
- Raspberry Pi 2 · ARMv7Hardware verified
- Module ABI
- v1.0Frozen
11
Verified
2
Build only
5
Planned
1
Active platforms
Boot
| Component | Status | Description |
|---|---|---|
| Boot Manager | ✅ Verified | Loads VAOS from FAT32 filesystem. Supports VTP upload protocol and recovery mode. Verified on Raspberry Pi 2. |
Drivers
| Component | Status | Description |
|---|---|---|
| HDMI Framebuffer | ✅ Verified | HDMI framebuffer driver (RGB565, 640x480). Verified on Raspberry Pi 2. |
| UART Driver (PL011) | ✅ Verified | BCM2836 PL011 UART driver with RX interrupt support (115200 baud). Verified on Raspberry Pi 2. |
Filesystem
| Component | Status | Description |
|---|---|---|
| FAT32 Filesystem | ✅ Verified | Full FAT32 implementation (M12.86). Read/write, long filename support, directory operations. Verified on Raspberry Pi 2. |
| VFS Layer | ○ Planned | Virtual File System layer. Unifies multiple filesystems under a single API. Not yet implemented. |
Kernel
| Component | Status | Description |
|---|---|---|
| ELF32 Loader | ✅ Verified | Loads ELF32 executables. Parses headers, maps segments, resolves entry point. Verified on Raspberry Pi 2. |
| Kernel Core | ✅ Verified | VAOS Kernel v1.0 — preemptive scheduler, memory management, interrupt handling, SVC syscalls. Boot verified on Raspberry Pi 2. |
| SMP Load Balance | ✅ Verified | Preemptive scheduler with quad-core load balancing on BCM2836. Verified on Raspberry Pi 2. |
Modules
| Component | Status | Description |
|---|---|---|
| Console Module | ⚠️ Build only | Console.vmod — text mode console. Build only, hardware validation pending. |
| Module ABI v1.0 | ✅ Verified | Frozen Module ABI v1.0. Modules register via register_init/register_exit/register_irq. No export table mechanism. ABI is frozen — modules compiled today work on future versions. |
| Module Dependency Resolver | ○ Planned | Automatic dependency resolution for modules. Resolves load order, handles circular dependencies. In progress. |
| Module Loader | ⚠️ Build only | Loads .vmod files, validates ABI signatures, calls register_* entry points. M12.78 implementation. ARM UNDEFINED instruction audit added (M12.91). Hardware validation pending. |
Network
| Component | Status | Description |
|---|---|---|
| Network Stack | ○ Planned | Ethernet driver, TCP/IP, UDP, socket API. Not yet implemented. |
Platform
| Component | Status | Description |
|---|---|---|
| RISC-V | ○ Planned | RISC-V architecture support. Planned, not yet implemented. |
| Raspberry Pi 2 (BCM2836) | ✅ Verified | ARMv7, Cortex-A7 quad-core 900MHz, 1GB RAM. Primary development platform. Hardware verified. |
| x86_64 | ○ Planned | x86_64 architecture support. Planned, not yet implemented. |
Transfer
| Component | Status | Description |
|---|---|---|
| OTA Updates | ✅ Verified | Over-the-air update support via VTP. Verified on Raspberry Pi 2. |
| VTP Transfer Protocol | ✅ Verified | VTP (VAOS Transfer Protocol) for uploading files to VAOS. Verified on Raspberry Pi 2. |
Platforms
| Platform | Architecture | Status |
|---|---|---|
| Allwinner H3 | ARMv7 | ○ Planned |
| Allwinner H6 | ARMv8 (AArch64) | ○ Planned |
| Amlogic S905 | ARMv8 (AArch64) | ○ Planned |
| Amlogic S912 | ARMv8 (AArch64) | ○ Planned |
| Generic PC (x86_64) | x86_64 | ○ Planned |
| MediaTek MT7621 | MIPS | ○ Planned |
| MediaTek MT7623 | ARMv7 | ○ Planned |
| RISC-V (SiFive) | RISC-V | ○ Planned |
| Raspberry Pi 1 | ARMv6 | ○ Planned |
| Raspberry Pi 2 | ARMv7 | ✅ Verified |
| Raspberry Pi 3 | ARMv8 (AArch64) | ○ Planned |
| Raspberry Pi 4 | AArch64 | ○ Planned |
| Raspberry Pi Zero | ARMv6 | ○ Planned |
| Rockchip RK3328 | ARMv8 (AArch64) | ○ Planned |
| Rockchip RK3399 | ARMv8 (AArch64) | ○ Planned |
Legend
- ✅ Verified — implemented + validated on real hardware
- ⚠️ Build only — implemented + build-validated, but NOT hardware-validated
- ○ Planned — no implementation yet