RCOS: My toy operating system