|
@@ -6,8 +6,6 @@ CONFIG_GENERATE_PIRQ_TABLE=y
|
|
CONFIG_GENERATE_MP_TABLE=y
|
|
CONFIG_GENERATE_MP_TABLE=y
|
|
CONFIG_GENERATE_ACPI_TABLE=y
|
|
CONFIG_GENERATE_ACPI_TABLE=y
|
|
CONFIG_FIT=y
|
|
CONFIG_FIT=y
|
|
-CONFIG_BOOTSTAGE=y
|
|
|
|
-CONFIG_BOOTSTAGE_REPORT=y
|
|
|
|
CONFIG_USE_BOOTARGS=y
|
|
CONFIG_USE_BOOTARGS=y
|
|
CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
|
|
CONFIG_BOOTARGS="root=/dev/sdb3 init=/sbin/init rootwait ro"
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
|
@@ -25,7 +23,6 @@ CONFIG_CMD_DHCP=y
|
|
# CONFIG_CMD_NFS is not set
|
|
# CONFIG_CMD_NFS is not set
|
|
CONFIG_CMD_PING=y
|
|
CONFIG_CMD_PING=y
|
|
CONFIG_CMD_TIME=y
|
|
CONFIG_CMD_TIME=y
|
|
-CONFIG_CMD_BOOTSTAGE=y
|
|
|
|
CONFIG_CMD_EXT2=y
|
|
CONFIG_CMD_EXT2=y
|
|
CONFIG_CMD_EXT4=y
|
|
CONFIG_CMD_EXT4=y
|
|
CONFIG_CMD_EXT4_WRITE=y
|
|
CONFIG_CMD_EXT4_WRITE=y
|