Simple kernel/scheduler for ARM microcontroller