YinyangOS, a simple Minix-like operating system