Simple Little Operating System (SLOS) from ARM System Developer's Guide book