I am wondering if we end up with more than one c compiler. For the OS and base stuff, done with a compiler that is verifiable. For other more performance-demanding applications, something that compiles to faster code, but is not as verifiable.
back
1 comments
We had that with assemblers. Back in the day, the Linux kernel was built with the x86 assembler from Minix (or a clone of it at least) and the rest of the system used GAS.