I was wondering if they'd reached some new milestone, but yeah it seems it's just one of the "check this cool project out" submissions. It's fair enough, as you

I was wondering if they'd reached some new milestone, but yeah it seems it's just one of the "check this cool project out" submissions. It's fair enough, as you said there will be the xkcd lucky 10k who are encountering it for the first time. Though now that you mention it, it would at least be a little bit funny to submit kernel.org and be like "Found this cool indy OS kernel, looks like it's just a hobby and won't be big and professional like GNU but it's still neat" in the comments :)