From cc01f9d260dbc1394b51fa4831c14be205bb84c2 Mon Sep 17 00:00:00 2001
From: "Justin C. Miller" <justin@devjustinian.com>
Date: Tue, 27 Mar 2018 14:50:28 -0700
Subject: [PATCH] Actually pass data pages to kernel

---
 src/boot/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/boot/main.c b/src/boot/main.c
index f18c734..e30ff21 100644
--- a/src/boot/main.c
+++ b/src/boot/main.c
@@ -121,6 +121,6 @@ efi_main(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
 	status = ST->BootServices->ExitBootServices(ImageHandle, map.key);
 	CHECK_EFI_STATUS_OR_ASSERT(status, 0);
 
-	kernel_main();
+	kernel_main(data_header);
 	return EFI_LOAD_ERROR;
 }