Python/Minix based operating system