Re: First machine-checked OS kernel

[Kagamin]

davidl Wrote:

> If so, they may need to further proof the compiler always  
> generate correct binaries.

And that the processor doesn't have flaws either. This is what's called an 
unprecedented level of reliability, I believe.