diff --git a/kernel/src/power/reboot.cpp b/kernel/src/power/reboot.cpp
index a03920ad..d33e9a20 100644
--- a/kernel/src/power/reboot.cpp
+++ b/kernel/src/power/reboot.cpp
@@ -30,7 +30,7 @@ static void try_acpi_reboot()
         kinfoln("The RSDT/XSDT's signature is not RSDT or XSDT");
         return;
     }
-    kinfoln("Searching for FACP");
+    kinfoln("Searching for the FADT");
     ACPI::FADT* fadt = (ACPI::FADT*)ACPI::FindTable(rootSDT, "FACP");
     if (!fadt)
     {
@@ -50,11 +50,13 @@ static void try_acpi_reboot()
     switch (fadt->ResetReg.AddressSpace)
     {
     case ACPI::SystemIO:
-        kinfoln("Attempting reboot via IO");
+        kinfoln("Attempting ACPI Reset via SystemIO: sending byte %d to port %lx", fadt->ResetValue,
+                fadt->ResetReg.Address);
         IO::outb(fadt->ResetReg.Address, fadt->ResetValue);
         break;
     case ACPI::GeneralPurposeIO:
-        kinfoln("Attempting reboot via IO");
+        kinfoln("Attempting ACPI Reset via GeneralPurposeIO: sending byte %d to port %lx", fadt->ResetValue,
+                fadt->ResetReg.Address);
         IO::outb(fadt->ResetReg.Address, fadt->ResetValue);
         break;
     default: kinfoln("This method of rebooting via ACPI is not yet implemented"); return;