diff --git a/xtldr/modules/xtos/xtos.c b/xtldr/modules/xtos/xtos.c
index 7e7a7c2..cf45e1e 100644
--- a/xtldr/modules/xtos/xtos.c
+++ b/xtldr/modules/xtos/xtos.c
@@ -291,6 +291,7 @@ XtpBootSequence(IN PEFI_FILE_HANDLE BootDir,
     XtLdrProtocol->EnablePaging(&MemoryMappings, VirtualAddress, ImageProtocol, &XtPageMap);
 
     /* Call XTOS kernel */
+    XtLdrProtocol->DbgPrint(L"Booting the XTOS kernel\n");
     KernelEntryPoint(KernelParameters);
 
     /* Return success */