Has anyone taken a stab at using Real Time Linux Kernel yet? http://www.rtlinux.com/ It for embedded applications, it looks kind of like fun =)