diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index dea4c27..65be82e 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -1553,6 +1553,9 @@
 
 	if (CONFIG(DEBUG_ACPICA_COMPATIBLE)) {
 		printk(BIOS_DEBUG, "Printing ACPI tables in ACPICA compatible format\n");
+		if (facs)
+			acpidump_print(facs);
+		acpidump_print(dsdt);
 		for (size_t i = 0; xsdt->entry[i] != 0; i++) {
 			acpidump_print((void *)(uintptr_t)xsdt->entry[i]);
 		}