4 #include <linux/sizes.h>
6 #define CONFIG_SYS_SDRAM_BASE 0x880000000
8 #define CONFIG_LNX_KRNL_IMG_TEXT_OFFSET_BASE CONFIG_SYS_TEXT_BASE
11 #define ENV_DEVICE_SETTINGS \
12 "stdin=serial,usbkbd\0" \
13 "stdout=serial,vidconsole\0" \
14 "stderr=serial,vidconsole\0"
16 #define ENV_MEM_LAYOUT_SETTINGS \
17 "fdt_addr_r=0x960100000\0" \
18 "kernel_addr_r=0x960200000\0"
20 #if CONFIG_IS_ENABLED(CMD_USB)
21 #define BOOT_TARGET_USB(func) func(USB, usb, 0)
23 #define BOOT_TARGET_USB(func)
26 #define BOOT_TARGET_DEVICES(func) \
29 #include <config_distro_bootcmd.h>
31 #define CONFIG_EXTRA_ENV_SETTINGS \
33 ENV_MEM_LAYOUT_SETTINGS \