A kernel for microcontroller applications