Plasmite – a lightweight IPC system that's fun
Persistent IPC channels survive reboots—unusual property most message systems lack.
HIC: A hierarchical isolation kernel reference architecture. Unifying security, performance, and modularity in a single design, enabling deployment from embedded to cloud with full lifecycle evolution.
Same-ring isolation using MMU hardware to block addresses instead of software privilege switches.
OS kernel developers and security researchers
seL4 · Capsicum · CHERI
There is no kernel IPC path. A cross-domain call is three instructions: call into an entry page, bt to test a domain ID against an authorization bitmap, jmp into the business logic. No privilege switch occurs. No kernel code runs during communication. Parameters travel in registers or shared memory.
A caller cannot name the address of business logic because no mapping exists in its page tables. The MMU hardware will not produce that address. This invariant holds regardless of what code the attacker executes.
The same guarantees hold without an MMU. On an 8086, segment descriptors replace page tables. The caller's LDT contains no descriptor for the business logic segment. Hardware refuses the far jump.
The architecture is documented in full. The critical instruction sequences are in the repository. You can count the cycles yourself.
Persistent IPC channels survive reboots—unusual property most message systems lack.
56 ns cross-language IPC beats iceoryx and Aeron on their own turf.
Compiler constraint craft with gem potential, but no repo or verifiable code to inspect.
12ms container startup beats Docker's 500ms with Nix-native declarative config.
Kernel-level intent tracking stops AI exfiltration where EDR and Docker fail.
The review zeroes in on what actually changed: recessed sensors, titanium comfort, and an 18-pathway Smart Sensing platform that promises better sleep and HRV data. It calls out useful features like automatic activity detection and 30+ tracked metrics, but glosses over the usual purchase blockers — battery life, subscription pricing, long-term accuracy, and data/privacy tradeoffs.