Minix actually does something like this these days experimentally even with drivers and services in the OS… where they can even unload drivers and update them whil erunning and such and clang does some conversion between data structures etc…
I think there are situations where it doesn’t work though.