|
@@ -1,6 +1,6 @@
|
|
|
CONFIG_X86=y
|
|
|
CONFIG_SYS_TEXT_BASE=0xFFF00000
|
|
|
-CONFIG_SYS_MALLOC_F_LEN=0x2000
|
|
|
+CONFIG_SYS_MALLOC_F_LEN=0x2400
|
|
|
CONFIG_DEBUG_UART_BOARD_INIT=y
|
|
|
CONFIG_DEBUG_UART_BASE=0x3f8
|
|
|
CONFIG_DEBUG_UART_CLOCK=1843200
|
|
@@ -63,3 +63,4 @@ CONFIG_VIDEO_IVYBRIDGE_IGD=y
|
|
|
CONFIG_CONSOLE_SCROLL_LINES=5
|
|
|
CONFIG_CMD_DHRYSTONE=y
|
|
|
CONFIG_TPM=y
|
|
|
+# CONFIG_EFI_LOADER is not set
|