3 ms·

Yes, kernel.org is the archive for the Linux kernel. I didn't realize that they publish articles though, which is pretty neat.