He began to work on his own operating system which eventually became the Linux kernel .
This eventually became the Linux kernel .