<?xml version="1.0" encoding="ISO-8859-1"?>
<?xml-stylesheet href="tests.xsl" type="text/xsl"?>

<TEST>
<NAME>EBDA</NAME>

<DESCRIPTION>
This plugin validates if the EBDA region is mapped and reserved in the E820 table.
</DESCRIPTION>

<WARN>
<MSG>E820: EBDA region at %x is not reserved in the E820 table</MSG>
<DETAILS>
Where %x is the address where the 4k EBDA area is supposed to be (at 0x40E).
</DETAILS>
</WARN>

<PASS>
<MSG>EBDA region is correctly reserved in the E820 table</MSG>
<DETAILS>
EBDA region is correctly reserved in the E820 table.
</DETAILS>
</PASS>

</TEST>
