In NUMBER@1 while attending the ORGANIZATION@1 , PERSON@1 began to work on a non-commercial replacement for MINIX , which would eventually become the Linux kernel .

In NUMBER@1 PERSON@2 began to work on a non-commercial replacement for MINIX while he was attending the ORGANIZATION@1 .
