Fix only allocating one page for log

src/boot/loader.c

@@ -144,7 +144,7 @@ loader_load_kernel(
 		CHECK_EFI_STATUS_OR_RETURN(status, L"loader_alloc_pages: kernel data");
 
 		data->log = next;
-		data->log_length = KERNEL_LOG_PAGES;
+		data->log_length = KERNEL_LOG_PAGES * PAGE_SIZE;
 		status = loader_alloc_pages(
 				bootsvc,
 				KERNEL_LOG_MEMTYPE,

src/boot/loader.h

@@ -2,6 +2,8 @@
 #include <efi.h>
 #include <stddef.h>
 
+#define PAGE_SIZE 0x1000
+
 #ifndef KERNEL_PHYS_ADDRESS
 #define KERNEL_PHYS_ADDRESS 0x100000
 #endif

src/boot/main.c

@@ -149,6 +149,8 @@ efi_main(EFI_HANDLE image_handle, EFI_SYSTEM_TABLE *system_table)
 	status = memory_get_map(bootsvc, &map);
 	CHECK_EFI_STATUS_OR_FAIL(status);
 
+	// bootsvc->Stall(5000000);
+
 	status = bootsvc->ExitBootServices(image_handle, map.key);
 	CHECK_EFI_STATUS_OR_ASSERT(status, 0);
 

src/boot/memory.c

@@ -8,8 +8,6 @@
 
 #define INCREMENT_DESC(p, b)  (EFI_MEMORY_DESCRIPTOR*)(((uint8_t*)(p))+(b))
 
-const size_t PAGE_SIZE = 4096;
-
 const CHAR16 *memory_type_names[] = {
 	L"EfiReservedMemoryType",
 	L"EfiLoaderCode",