Hi, Has anyone taken a look at Rump Kernels, and feasibility to use any of it with RTEMS? http://rumpkernel.org/ Rump Kernels encapsulate parts of the NetBSD kernel that can be reused in other OS kernels. The obvious big wins come from device drivers, but also maintenance efforts are much reduced. Gedare