Used QNX 15+ years ago. The supposed best value is micro-kernel. Kernel is very small, all the device drivers, file system, TCPIP stack are run in user space outside the kernel.
I have not used AmigaOS and no clue if it has the same micro kernel design.