Hi all, I've heard a formally verified optimizing C compiler: CompCert recently: http://www.absint.com/compcert/ HN: https://news.ycombinator.com/item?id=9130934 .
So what benefit will there be if some one use CompCert as the compiler for seL4? -- Cheers, Grissiom
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
