Serial port should be working all the time, so announce that now booting the kernel

This commit is contained in:
Rafal Kupiec 2022-12-21 20:52:53 +01:00
parent cf828a6896
commit dc2570ca8e
Signed by: belliash
GPG Key ID: 4E829243E0CFE6B4

View File

@ -291,6 +291,7 @@ XtpBootSequence(IN PEFI_FILE_HANDLE BootDir,
XtLdrProtocol->EnablePaging(&MemoryMappings, VirtualAddress, ImageProtocol, &XtPageMap); XtLdrProtocol->EnablePaging(&MemoryMappings, VirtualAddress, ImageProtocol, &XtPageMap);
/* Call XTOS kernel */ /* Call XTOS kernel */
XtLdrProtocol->DbgPrint(L"Booting the XTOS kernel\n");
KernelEntryPoint(KernelParameters); KernelEntryPoint(KernelParameters);
/* Return success */ /* Return success */