Describir: Hardware Architectures of Real-Time Kernels :