Hi all. I was having discussion about how secure handwritten asm code compared to C code in https://board.flatassembler.net/topic.php?p=206126#206117 and someone mentioned that there are undefined behavior in x86 instruction set
How is these x86 undefined behavior handled in sel4?
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
