Yes, obviously a microkernel operating system that you can vibecode in a morning is not a salable product. But it's still a perfectly good operating system, and sometimes people need those, and they're a huge pain in the ass to write, especially to debug. But sometimes off-the-shelf OSes aren't good enough. Something like 50% of the embedded operating system market is still "Other/Custom".