> What history? What proof? What evidence?
...
> standard commercial monolithic kernels
Note the path from A to B.
Fully monolithic: Linux, FreeBSD, NetBSD, OpenBSD, Solaris, AIX, zOS.
Mostly monolithic: Windows, MacOS
To get to microkernels, we're reaching for QNX and Minix.
Monolithic kernels won *hard* with good reason.
> critical flight systems
Hard RTOS is a whole different domain of engineering. You're very confused if you think the same principles apply to something which makes sense in a mainstream OS.
...
> standard commercial monolithic kernels
Note the path from A to B.
Fully monolithic: Linux, FreeBSD, NetBSD, OpenBSD, Solaris, AIX, zOS.
Mostly monolithic: Windows, MacOS
To get to microkernels, we're reaching for QNX and Minix.
Monolithic kernels won *hard* with good reason.
> critical flight systems
Hard RTOS is a whole different domain of engineering. You're very confused if you think the same principles apply to something which makes sense in a mainstream OS.