Howdy, Is there a guide to the dos and don'ts of C according to the seL4 verification process? I kinda remember reading a quick summary somewhere, but can't find it on the wiki. Maybe I read it in one of the papers?
I certainly remember reading the moral equivalent of "lol no strings". ;-) Thanks, Jeff
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
