From dc2570ca8e76ed5e23e1aab2e02e25d46cf76c57 Mon Sep 17 00:00:00 2001
From: belliash <belliash@codingworkshop.eu.org>
Date: Wed, 21 Dec 2022 20:52:53 +0100
Subject: [PATCH] Serial port should be working all the time, so announce that
 now booting the kernel

---
 xtldr/modules/xtos/xtos.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xtldr/modules/xtos/xtos.c b/xtldr/modules/xtos/xtos.c
index 7e7a7c2c..cf45e1e9 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 */