Hello Chris,<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">Which won't matter (as long as sizeof is consistent), because EFI is a closed system.<br>
</blockquote><div><br>What is the meaning of closed system??<br><br>Is it 1. not open source<br>       2. EBC binary is only running on a single EFI EBC interpreter and never interfacing with the outside VM??<br><br>thanks<br>
<br>ching<br></div></div><br>