I come from a MCU background and feel the same way. Linux kernel is for consumer level stuff. For serious machinery, I choose a real-time OS like FreeaRTOS. Less code, and more low level code makes it easier to review, maintain, and have less chance to break.