Intel DP45SG motherboard problem (amd64)

[John Baldwin]

On Tuesday 16 March 2010 9:22:28 am Alastair Hogge wrote:
> On Tue March 2 2010 00:54:00 John Baldwin wrote:
> > This would not change acpidump output, just the kernel.  Are you able to
> > capture the boot messages with this kernel?  
> Full log:
> http://codepad.org/96PT5OO8

Oh!  ACPI is working, but the MADT is not so it's trying to mix and match 
mptable (for SMP) with ACPI.  Odd that you didn't get a warning message about 
the checksum failing from boot -v.  Try this patch:

Index: amd64/acpica/acpi_machdep.c
===================================================================
--- amd64/acpica/acpi_machdep.c	(revision 205249)
+++ amd64/acpica/acpi_machdep.c	(working copy)
@@ -627,8 +627,10 @@
 	if (ACPI_FAILURE(AcpiTbChecksum(table, length))) {
 		if (bootverbose)
 			printf("ACPI: Failed checksum for table %s\n", sig);
+#if (ACPI_CHECKSUM_ABORT)
 		table_unmap(table, length);
 		return (NULL);
+#endif
 	}
 	return (table);
 }
Index: i386/acpica/acpi_machdep.c
===================================================================
--- i386/acpica/acpi_machdep.c	(revision 205249)
+++ i386/acpica/acpi_machdep.c	(working copy)
@@ -641,8 +641,10 @@
 	if (ACPI_FAILURE(AcpiTbChecksum(table, length))) {
 		if (bootverbose)
 			printf("ACPI: Failed checksum for table %s\n", sig);
+#if (ACPI_CHECKSUM_ABORT)
 		table_unmap(table, length);
 		return (NULL);
+#endif
 	}
 	return (table);
 }


-- 
John Baldwin