<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet href="results.css" type="text/css"?>
<results>
<test>
	<id>dmi</id>
	<name>DMI information check</name>
	<result>4</result>
 
	<description>This test checks the DMI/SMBIOS tables for common errors.</description>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	SKU Number: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Family: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Asset Tag: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Location In Chassis: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template Asset Tag not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Asset Tag: Asset-1234567890
</data>
	</detail>
	<detail>
		<summary>Out of spec value found</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Upgrade: &lt;OUT OF SPEC&gt;
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Serial Number: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Asset Tag: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Part Number: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	Description:   To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	String 1: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	String 2: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	String 3: To Be Filled By O.E.M.
</data>
	</detail>
	<detail>
		<summary>Template value not updated</summary>
		<result>4</result>
		<uri>dmi://</uri>
				<data>	String 4: To Be Filled By O.E.M.
</data>
	</detail>
</test>
<test>
	<id>chk_hpet</id>
	<name>HPET configuration test</name>
	<result>4</result>
 
	<description>This test checks the HPET PCI BAR for each timer block in the timer.The base address is passed by the firmware via an ACPI table.IRQ routing and initialization is also verified by the test.
</description>
	<detail>
		<summary>HPET driver in the kernel is enabled, inaccurate results follow.</summary>
		<result>2</result>
		<uri></uri>
			</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 98)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 400)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 40)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 40)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 40)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 40)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 82f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 71)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 28)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 11)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e0000000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fec00000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fee00000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2f8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b03d041)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 60)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 60)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 64)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 64)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 130fd041)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 110007)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 130000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 49)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 85)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 85)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100002)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 85)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100003)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 85)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100004)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 130001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 60000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 70000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 90000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel aa)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 55)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 50)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 44)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 67)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 46)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 9)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 14)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 18)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fffffffe)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fffffffc)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fffffffe)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fffffffc)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fffffffc)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 84)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 61)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 28)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 12c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 149970)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 78)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel fe)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 40)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 80)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 18)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 29)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6020000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 352)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 640)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6020001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel b9a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel e2e)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6020002)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1194)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 157c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6020003)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 27d8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 35e8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 22)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 32)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6030000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 258)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3b6)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6030001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3b6)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6040000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 320)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6040001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 320)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6040002)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 320)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1c20)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10001)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 6)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4060003)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 10000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 3)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 5)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 100)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel cf8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel cf8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel cf7)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel cf8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel d00)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel ffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel f300)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel a0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel bffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel c0000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel dffff)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 20000)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 0)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel bb8)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 94)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 1)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 4)</data>
	</detail>
	<detail>
		<summary>Mismatched HPET base between DSDT and the kernel</summary>
		<result>4</result>
		<uri></uri>
				<data>Mismatched HPET base between DSDT (fed00000) and the kernel 2)</data>
	</detail>
	<detail>
		<summary>Invalid VID, at HPET register base</summary>
		<result>4</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>mcfg</id>
	<name>MCFG PCI Express* memory mapped config space</name>
	<result>4</result>
 
	<description>This test tries to validate the MCFG table by comparing the first 16 bytes in the MMIO mapped config space with the 'traditional' config space of the first PCI device (root bridge). The MCFG data is only trusted if it is marked reserved in the E820 table.</description>
	<detail>
		<summary>E820: MCFG mmio config space at 0xe0000000 is not reserved in the E820 table</summary>
		<result>4</result>
		<uri>e820://</uri>
			</detail>
</test>
<test>
	<id>edd</id>
	<name>EDD Boot disk hinting</name>
	<result>4</result>
 
	<description>This test verifies if the BIOS directs the operating system on which storage device to use for booting (EDD information). This is important for systems that (can) have multiple disks. Linux distributions increasingly depend on this info to find out on which device to install the bootloader.</description>
	<detail>
		<summary>Boot device 0x80 does not support EDD
</summary>
		<result>4</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>ethernet</id>
	<name>Ethernet functionality</name>
	<result>4</result>
 
	<description>This test is currently a placeholder for a more advanced ethernet test. Currently the only check performed is that a link is acquired within 45 seconds of enabling the interface. 45 seconds is close to the value most Linux distributions use as timeout value.

In the future the plan is to also perform actual data transfer tests as part of the ethernet test, to validate interrupt routing and other per-NIC behaviors.</description>
	<detail>
		<summary>Failed to acquire link within 45 seconds</summary>
		<result>4</result>
		<uri>pci://0000:07:07.0</uri>
			</detail>
</test>
<test>
	<id>cpufreq</id>
	<name>CPU frequency scaling tests</name>
	<result>4</result>
 
	<description>For each processor in the system, this test steps through the various frequency states (P-states) that the BIOS advertises for the processor. For each processor/frequency combination, a quick performance value is measured. The test then validates that: 
  1) Each processor has the same number of frequency states
  2) Higher advertised frequencies have a higher performance
  3) No duplicate frequency values are reported by the BIOS
  4) Is BIOS wrongly doing Sw_All P-state coordination across cores
  5) Is BIOS wrongly doing Sw_Any P-state coordination across cores
</description>
	<detail>
		<summary>3 CPU frequency steps supported</summary>
		<result>1</result>
		<uri></uri>
				<data> Frequency | Speed 
-----------+---------
  2.05 Ghz | 100.0 %
  1.85 Ghz |  90.2 %
  1000 Mhz |  50.5 %
</data>
	</detail>
	<detail>
		<summary>Processors are set to SW_ANY</summary>
		<result>4</result>
		<uri></uri>
			</detail>
	<detail>
		<summary>Firmware not implementing hardware coordination cleanly. Firmware using SW_ALL instead?
</summary>
		<result>4</result>
		<uri></uri>
			</detail>
	<detail>
		<summary>Firmware not implementing hardware coordination cleanly. Firmware using SW_ANY instead?
</summary>
		<result>4</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>maxreadreq</id>
	<name>PCI Express MaxReadReq tuning</name>
	<result>2</result>
 
	<description>This test checks if the firmware has set MaxReadReq to a higher value on non-montherboard devices</description>
	<detail>
		<summary>MaxReadReq for device pci://00:80:01.0 is low (128)</summary>
		<result>2</result>
		<uri>pci://00:80:01.0</uri>
			</detail>
</test>
<test>
	<id>thermal_trip</id>
	<name>ACPI passive thermal trip points</name>
	<result>2</result>
 
	<description>This test determines if the passive trip point works as expected.</description>
	<detail>
		<summary>No thermal zones found.</summary>
		<result>2</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>acpicompile</id>
	<name>DSDT AML verification</name>
	<result>2</result>
 
	<description>This test first disassembles the DSDT of the BIOS, and then uses the IASL compiler from Intel to recompile the code. The IASL copiler is much stricter in detecting deviations from the ACPI specification and can find numerous defects that other AML compilers cannot find. Fixing these defects increases the probability that the BIOS will operate well with a variety of operating systems.</description>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.RBPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.RBPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.RBPE.

 |  Name (XSST, 0x1A)
 |  Name (XRCT, 0x1C)
 |  Mutex (MUTE, 0x00)
 |  Method (RBPE, 1, NotSerialized)
 |  {
&gt;&gt;&gt;     Acquire (MUTE, 0x03E8)
 |      Add (Arg0, PCIB, Local0)
 |      OperationRegion (PCFG, SystemMemory, Local0, One)
 |      Field (PCFG, ByteAcc, NoLock, Preserve)
 |      {
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.RWPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.RWPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.RWPE.

 |              Return (XCFG)
 |          }
 |  
 |          Method (RWPE, 1, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x03E8)
 |              And (Arg0, 0xFFFFFFFE, Arg0)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, 0x02)
 |              Field (PCFG, WordAcc, NoLock, Preserve)
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.RDPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.RDPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.RDPE.

 |              Return (XCFG)
 |          }
 |  
 |          Method (RDPE, 1, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x03E8)
 |              And (Arg0, 0xFFFFFFFC, Arg0)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, 0x04)
 |              Field (PCFG, DWordAcc, NoLock, Preserve)
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.WBPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.WBPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.WBPE.

 |              Return (XCFG)
 |          }
 |  
 |          Method (WBPE, 2, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x0FFF)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, One)
 |              Field (PCFG, ByteAcc, NoLock, Preserve)
 |              {
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.WWPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.WWPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.WWPE.

 |              Release (MUTE)
 |          }
 |  
 |          Method (WWPE, 2, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x03E8)
 |              And (Arg0, 0xFFFFFFFE, Arg0)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, 0x02)
 |              Field (PCFG, WordAcc, NoLock, Preserve)
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.WDPE.</summary>
		<result>2</result>
		<uri>aml://_SB_.WDPE.</uri>
				<data>Possible operator timeout is ignored
At _SB.WDPE.

 |              Release (MUTE)
 |          }
 |  
 |          Method (WDPE, 2, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x03E8)
 |              And (Arg0, 0xFFFFFFFC, Arg0)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, 0x04)
 |              Field (PCFG, DWordAcc, NoLock, Preserve)
</data>
	</detail>
	<detail>
		<summary>Possible operator timeout is ignored in _SB.RWDP.</summary>
		<result>2</result>
		<uri>aml://_SB_.RWDP.</uri>
				<data>Possible operator timeout is ignored
At _SB.RWDP.

 |              Release (MUTE)
 |          }
 |  
 |          Method (RWDP, 3, NotSerialized)
 |          {
&gt;&gt;&gt;             Acquire (MUTE, 0x03E8)
 |              And (Arg0, 0xFFFFFFFC, Arg0)
 |              Add (Arg0, PCIB, Local0)
 |              OperationRegion (PCFG, SystemMemory, Local0, 0x04)
 |              Field (PCFG, DWordAcc, NoLock, Preserve)
</data>
	</detail>
	<detail>
		<summary>Not all control paths return a value (WFZF) in WFZF</summary>
		<result>2</result>
		<uri>aml://WFZF</uri>
				<data>Not all control paths return a value (WFZF)
At WFZF

 |          }
 |  
 |          Return (Zero)
 |      }
 |  
&gt;&gt;&gt;     Method (WFZF, 1, NotSerialized)
 |      {
 |          OperationRegion (HRGC, SystemIO, Arg0, One)
 |          Field (HRGC, ByteAcc, NoLock, Preserve)
 |          {
</data>
	</detail>
	<detail>
		<summary>Not all control paths return a value (VGET) in _SB.PCI0.SBRG.ASOC.VGET</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.VGET</uri>
				<data>Not all control paths return a value (VGET)
At _SB.PCI0.SBRG.ASOC.VGET

 |      CORV, 
 |      V3VV, 
 |      V5VV, 
 |      VV12
 |  })
&gt;&gt;&gt; Method (VGET, 1, NotSerialized)
 |  {
 |      If (LEqual (Arg0, Zero))
 |      {
 |          Return (^^SIOR.HWV0 ())
</data>
	</detail>
	<detail>
		<summary>Not all control paths return a value (TGET) in _SB.PCI0.SBRG.ASOC.TGET</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.TGET</uri>
				<data>Not all control paths return a value (TGET)
At _SB.PCI0.SBRG.ASOC.TGET

 |  {
 |      0x02, 
 |      CPUT, 
 |      MBTP
 |  })
&gt;&gt;&gt; Method (TGET, 1, NotSerialized)
 |  {
 |      If (LEqual (Arg0, Zero))
 |      {
 |          Return (^^SIOR.HWT1 ())
</data>
	</detail>
	<detail>
		<summary>Not all control paths return a value (FGET) in _SB.PCI0.SBRG.ASOC.FGET</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.FGET</uri>
				<data>Not all control paths return a value (FGET)
At _SB.PCI0.SBRG.ASOC.FGET

 |      0x03, 
 |      CPUF, 
 |      CHAF, 
 |      PWRF
 |  })
&gt;&gt;&gt; Method (FGET, 1, NotSerialized)
 |  {
 |      If (LEqual (Arg0, Zero))
 |      {
 |          Return (^^SIOR.HWF1 ())
</data>
	</detail>
	<detail>
		<summary>Called method may not always return a value in _SB.PCI0.SBRG.ASOC.RVLT.</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.RVLT.</uri>
				<data>Called method may not always return a value
At _SB.PCI0.SBRG.ASOC.RVLT.

 |          }
 |  
 |          Method (RVLT, 1, NotSerialized)
 |          {
 |              And (Arg0, 0xFFFF, Local0)
&gt;&gt;&gt;             Store (VGET (Local0), Local1)
 |              Store (DerefOf (Index (DerefOf (Index (VPAR, Local0)), Zero)), 
 |                  Local2)
 |              Store (DerefOf (Index (DerefOf (Index (VPAR, Local0)), One)), 
 |                  Local3)
</data>
	</detail>
	<detail>
		<summary>Called method may not always return a value in _SB.PCI0.SBRG.ASOC.RTMP.</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.RTMP.</uri>
				<data>Called method may not always return a value
At _SB.PCI0.SBRG.ASOC.RTMP.

 |          }
 |  
 |          Method (RTMP, 1, NotSerialized)
 |          {
 |              And (Arg0, 0xFFFF, Local0)
&gt;&gt;&gt;             Store (TGET (Local0), Local1)
 |              Return (Local1)
 |          }
 |  
 |          Method (STMP, 1, NotSerialized)
</data>
	</detail>
	<detail>
		<summary>Called method may not always return a value in _SB.PCI0.SBRG.ASOC.RFAN.</summary>
		<result>2</result>
		<uri>aml://_SB_.PCI0.SBRG.ASOC.RFAN.</uri>
				<data>Called method may not always return a value
At _SB.PCI0.SBRG.ASOC.RFAN.

 |          }
 |  
 |          Method (RFAN, 1, NotSerialized)
 |          {
 |              And (Arg0, 0xFFFF, Local0)
&gt;&gt;&gt;             Store (FGET (Local0), Local1)
 |              Return (Local1)
 |          }
 |  
 |          Method (SFAN, 1, NotSerialized)
</data>
	</detail>
	<detail>
		<summary>Tested table DSDT.dsl</summary>
		<result>0</result>
		<uri></uri>
			</detail>
	<detail>
		<summary>Tested _SUN ids; successfully found no duplicates</summary>
		<result>0</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>virt</id>
	<name>VT/VMX Virtualization extensions</name>
	<result>1</result>
 
	<description>This test checks if VT/VMX is set up correctly</description>
	<detail>
		<summary>Processor does not support Virtualization extensions</summary>
		<result>1</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>microcode</id>
	<name>Processor microcode update</name>
	<result>1</result>
 
	<description>This test verifies if the firmware has put a recent version of the microcode into the processor at boot time. Recent microcode is important to have all the required features and errata updates for the processor.</description>
	<detail>
		<summary>Kernel too old; the kernel does not export microcode version</summary>
		<result>1</result>
		<uri></uri>
				<data>This test needs a 2.6.19-rc1 kernel or later to function</data>
	</detail>
	<detail>
		<summary>Kernel too old; the kernel does not export microcode version</summary>
		<result>1</result>
		<uri></uri>
				<data>This test needs a 2.6.19-rc1 kernel or later to function</data>
	</detail>
</test>
<test>
	<id>acpiinfo</id>
	<name>General ACPI information</name>
	<result>1</result>
 
	<description>This test checks the output of the in-kernel ACPI CA against common error messages that indicate a bad interaction with the bios, including those that point at AML syntax errors.</description>
	<detail>
		<summary>DSDT was compiled by the Intel AML compiler</summary>
		<result>1</result>
		<data>ACPI: DSDT (v001  A0498 A0498000 0x00000000 INTL 0x20060113) @ 0x00000000</data>
	</detail>
</test>
<test>
	<id>apicedge</id>
	<name>(experimental) APIC Edge/Level check</name>
	<result>0</result>
 
	<description>This test checks if legacy interrupts are edge and PCI interrupts are level</description>
</test>
<test>
	<id>os2gap</id>
	<name>OS/2 memory hole test</name>
	<result>0</result>
 
	<description>This test checks if the OS/2 15Mb memory hole is absent</description>
</test>
<test>
	<id>FADT</id>
	<name>FADT test</name>
	<result>0</result>
 
	<description>verify FADT SCI_EN bit enabled or NOT.</description>
	<detail>
		<summary>ACPI mode, SCI_EN bit in PM1a_Control register is correctly enabled</summary>
		<result>0</result>
	</detail>
</test>
<test>
	<id>fan</id>
	<name>Fan tests</name>
	<result>0</result>
 
	<description>This test reports how many fans there are in the system. It also checks for the states of the fan.</description>
</test>
<test>
	<id>mtrr</id>
	<name>MTRR validation</name>
	<result>0</result>
 
	<description>This test validates the MTRR setup against the memory map to detect any inconsistencies in cachability.</description>
</test>
<test>
	<id>battery</id>
	<name>Battery tests</name>
	<result>0</result>
 
	<description>This test reports which (if any) batteries there are in the system. In addition, for charging or discharging batteries, the test validates that the reported 'current capacity' properly increments/decrements in line with the charge/discharge state. 

This test also stresses the entire battery state reporting codepath in the ACPI BIOS, and any warnings given by the ACPI interpreter will be reported.</description>
	<detail>
		<summary>No battery information present</summary>
		<result>1</result>
		<uri></uri>
			</detail>
</test>
<test>
	<id>pciresource</id>
	<name>Validate assigned PCI resources</name>
	<result>0</result>
 
	<description>This test is currently a placeholder and just checks the kernel log for complaints about PCI resource errors. In the future the idea is to actually perform a validation step on all PCI resources against a certain rule-set.</description>
</test>
</results>
