From fa80e7b28fda0e9519b0a3ab916d1c338241b4e6 Mon Sep 17 00:00:00 2001 From: Ingo Weinhold Date: Mon, 27 Oct 2014 10:56:50 +0100 Subject: [PATCH] x86 kernel args: Increase number of page tables --- headers/private/kernel/arch/x86/arch_kernel_args.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/headers/private/kernel/arch/x86/arch_kernel_args.h b/headers/private/kernel/arch/x86/arch_kernel_args.h index 9014a958b8..cada9db4a0 100644 --- a/headers/private/kernel/arch/x86/arch_kernel_args.h +++ b/headers/private/kernel/arch/x86/arch_kernel_args.h @@ -13,7 +13,7 @@ #include -#define MAX_BOOT_PTABLES 4 +#define MAX_BOOT_PTABLES 8 #define _PACKED __attribute__((packed))