PiCOS - Raspberry Pi Card Operating System