@thomasfuchs @maarteuh Furthermore, was there any minix source code ported over to the Linux kernel back in the 90's?