Projects

WrmOS


WrmOS is a open source real time operation system (RTOS), based on L4 microkernel. It has own implementations of kernel, standard libraries and network stack. The following architectures are supported — SPARC, ARM, x86, x86_64.
Details

w4linux


w4linux is paravirtualized Linux kernel working on top of WrmOS. WrmOS works as hypervizor. Building of Linux kernel and userspace environment based on buildroot project.
Details