Invia SMS: Hardware Architectures of Real-Time Kernels :