Experimental operating system for the Raspberry Pi