A minimal real time OS for ARM architecture