2 files changed, 5 insertions, 3 deletions
diff --git a/dev/kernel/HALKit/AMD64/HalKernelMain.cc b/dev/kernel/HALKit/AMD64/HalKernelMain.cc
index bd7c207d..dfd71777 100644
--- a/dev/kernel/HALKit/AMD64/HalKernelMain.cc
+++ b/dev/kernel/HALKit/AMD64/HalKernelMain.cc
@@ -148,8 +148,6 @@ EXTERN_C Kernel::Void hal_real_init(Kernel::Void) {
   HAL::IDTLoader idt_loader;
   idt_loader.Load(idt_reg);
 
-  HAL::mp_init_cores(kHandoverHeader->f_HardwareTables.f_VendorPtr);
-
   while (YES)
     ;
 }
diff --git a/dev/kernel/HALKit/AMD64/HalTimer.cc b/dev/kernel/HALKit/AMD64/HalTimer.cc
index 1f500ac9..f6488b05 100644
--- a/dev/kernel/HALKit/AMD64/HalTimer.cc
+++ b/dev/kernel/HALKit/AMD64/HalTimer.cc
@@ -15,7 +15,9 @@
 #include <KernelKit/Timer.h>
 #include <modules/ACPI/ACPIFactoryInterface.h>
 
-// timer slot 0
+/// ================================================================================
+/// @note timer slot 0
+/// ================================================================================
 
 #define kHPETSignature ("HPET")
 
@@ -24,9 +26,11 @@
 #define kHPETCompRegValue (0x24)
 #define kHPETInterruptRegValue (0x2C)
 
+/// ================================================================================
 ///! BUGS: 0
 ///! @file HalTimer.cc
 ///! @brief Hardware Timer (HPET)
+/// ================================================================================
 
 namespace Kernel::Detail {
 struct HPET_BLOCK : public Kernel::SDT {