Hi all. I was having discussion about how secure handwritten asm code compared to C code in <a href="https://board.flatassembler.net/topic.php?p=206126#206117">https://board.flatassembler.net/topic.php?p=206126#206117</a><div>and someone mentioned that there are undefined behavior in x86 instruction set</div><div><br></div><div>How is these x86 undefined behavior handled in sel4?</div>