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.
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.
w4orocos is OROCOS framework (RTT) ported to WrmOS. It allows run OROCOS projects on top of WrmOS. Also w4orocos allows build and run OROCOS projects on your local host (gnulinux).
w4ros is ROS framework ported to WrmOS. It allows run ROS projects on top of WrmOS. Now project is under development and not published yet.
WrmBot is hardware robot manipulator. Now project is under development and not published yet.