A lightweight operating system for ARM processers