Secure Microkernel for Deeply Embedded Devices