x86 kernel args: Increase number of page tables

This commit is contained in:
Ingo Weinhold
2014-10-27 10:57:28 +01:00
parent 31b213c5ae
commit fa80e7b28f
@@ -13,7 +13,7 @@
#include <util/FixedWidthPointer.h>
#define MAX_BOOT_PTABLES 4
#define MAX_BOOT_PTABLES 8
#define _PACKED __attribute__((packed))