General-purpose kernels sometimes fail to provide specialized services that may be required by applications, for example real-time capabilities, low-latency communication, or specialized device access capabilities. Addressing ...