We found (and fixed!) a bug in the Hubris kernel last week --- the first one in just over a year! I've posted the story on my blog. It's a spooky computer murder mystery. 👻
(I love it when people find bugs in the kernel, because it's how we improve it. I'm also really happy with the way the system failed, how we diagnosed the problem, and how we were able to fix it.)
(Plus the thought of shipping unknown kernel bugs keeps me awake at night.)