@mo If there was some kind of standardized kernel module API/ABI and maybe also device driver API/ABI, it *probably* would have been easier to write a drop-in replacement for the central part of the OS kernel itself. It would have been damn fine if a standard like that existed. Device manufacturers could just write one driver for any number of OS.

But there isn't. There just fucking isn't! I mean, microkernels notwithstanding.