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
w4orocos
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).
Details
w4ros
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.
Details
WrmBot
WrmBot is hardware robot manipulator. Now project is under development and not published yet.
Details