#include <Library/LoadLinuxLib.h>\r
#include <Library/MemoryAllocationLib.h>\r
#include <Library/QemuFwCfgLib.h>\r
+#include <Library/ReportStatusCodeLib.h>\r
#include <Library/UefiBootServicesTableLib.h>\r
#include <Library/UefiLib.h>\r
\r
//\r
EfiSignalEventReadyToBoot();\r
\r
+ REPORT_STATUS_CODE (EFI_PROGRESS_CODE,\r
+ (EFI_SOFTWARE_DXE_BS_DRIVER | EFI_SW_DXE_BS_PC_READY_TO_BOOT_EVENT));\r
+\r
Status = LoadLinux (KernelBuf, SetupBuf);\r
\r
FreeAndReturn:\r