VxWorks is what's used on Mars and it's a monolithic kernel, so there's more than one way to do it. :-)