BasicOS - A raspberry Pi Operating system