Skip to content
Release version 0.8

New features and major improvements since v0.7:

- Hybrid kernel (phase 1-4): native-ipc fused channel_call RPC fast path with direct-switch time-slice donation, global service registry (svc) with object counters, handle quota and crash-leak audit, and the svcman supervisor with crash self-healing; shared-VMO SPSC ring (shmring) data plane; trap-free clock_gettime/gettimeofday vDSO for Linux ABI tasks; user-space driver framework (udriver) with a goldfish RTC pilot and contiguous DMA heap; kernel block proxy plus user-space virtio-blk driver (udisk) with driver-crash failure propagation.
- Hybrid network stack: user-space lwIP sources, kernel-to-userspace frame transport, socket proxy transport with host-to-guest TCP proxying, AF_UNIX socketpair bridging onto the internal channel, and service manifests with health probes.
- IOMMU and device claims: SV39 translation with hardware fault checks, versioned IDL RTCD request/reply bindings, exclusive device ownership claims, and a Linux-compatible fd/synchronization personality with pipe stream semantics.
- Kernel extension points: restricted eBPF-encoded extension programs (kep) and the dual-placement driver framework with a user-space virtio-input driver sample and DMA operations.
- drvmod: cross-architecture module loader with hardened allocation and LoongArch relocations; migrated platform, PS/2, virtio-input, Intel HDA, NVMe, and TPM drivers to modules; kallsyms generated during linking with an architecture-independent process debug interface.
- IPC and scheduling: SMP time-slice donation for channel calls, sharded futex waiter locks with dynamic waiter allocation, and serialized global network progress.
- Memory management: fixed Linux mprotect/mremap lock re-entry, buddy allocator re-entry and TLB release ordering, SMP channel bulk corruption and VMA locking fixes, and a contiguous DMA heap for user-space drivers.

Notable fixes and compatibility:
- Restricted the channel_call donation fast path to UP after documenting SMP findings.
- Fixed PCI INTx routing and LoongArch IRQ handling.