Tiny OS working only on qemu (vexpress-a9 board).