|
@@ -14,7 +14,6 @@ CONFIG_SPL_SYS_MALLOC_F_LEN=0x4000
|
|
|
CONFIG_DEBUG_UART_BASE=0xFF130000
|
|
|
CONFIG_DEBUG_UART_CLOCK=24000000
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="rk3328-rock-pi-e"
|
|
|
-CONFIG_SMBIOS_PRODUCT_NAME="rock-pi-e_rk3328"
|
|
|
CONFIG_DEBUG_UART=y
|
|
|
CONFIG_TPL_SYS_MALLOC_F_LEN=0x800
|
|
|
# CONFIG_ANDROID_BOOT_IMAGE is not set
|
|
@@ -102,4 +101,5 @@ CONFIG_USB_GADGET_DWC2_OTG=y
|
|
|
CONFIG_SPL_TINY_MEMSET=y
|
|
|
CONFIG_TPL_TINY_MEMSET=y
|
|
|
CONFIG_ERRNO_STR=y
|
|
|
-CONFIG_SMBIOS_MANUFACTURER="radxa"
|
|
|
+CONFIG_SYSINFO=y
|
|
|
+CONFIG_SYSINFO_SMBIOS=y
|