RE: An (Open Source) Operating System for Robots - ROS #7th blog post
microkernel with real time scheduler?
RE: An (Open Source) Operating System for Robots - ROS #7th blog post