trying to get xhci working on vboxHEADmain

1 files changed, 2 insertions, 0 deletions

diff --git a/kernel/src/arch/x86_64/x86_64.cpp b/kernel/src/arch/x86_64/x86_64.cpp
index 1389351..7653346 100644
--- a/kernel/src/arch/x86_64/x86_64.cpp
+++ b/kernel/src/arch/x86_64/x86_64.cpp
@@ -16,6 +16,7 @@
 #include <utils/gobject.hpp>
 #include <arch/x86_64/cpu/sse.hpp>
 #include <arch/x86_64/drivers/pvclock.hpp>
+#include <utils/assert.hpp>
 
 namespace arch {
     [[gnu::weak]] void disable_interrupts() {
@@ -74,6 +75,7 @@ namespace arch {
             drivers::hpet::init();
             drivers::tsc::init();
             drivers::pvclock::bsp_init();
+            assert(time::timer != nullptr, "can't init orange without timer !");
             x86_64::gdt::init();
             x86_64::idt::init();
             x86_64::lapic::init(1500);