/* Shell */
+/* ATAGs support for bootm/bootz */
+#define CONFIG_SETUP_MEMORY_TAGS
+#define CONFIG_CMDLINE_TAG
+#define CONFIG_INITRD_TAG
+
+#define CONFIG_DFU_ALT_SYSTEM \
+ "Image fat 0 1;" \
+ "bcm2710-rpi3-b.dtb fat 0 1;" \
+ "bcm2837-rpi3-b.dtb fat 0 1;" \
+ "u-boot.img fat 0 1;" \
+ "u-boot.env fat 0 1;" \
+ "optee.bin fat 0 1;" \
+ "boot.img part 0 1;" \
+ "rootfs part 0 2;" \
+ "system-data part 0 3;" \
+ "user part 0 5;" \
+ "module part 0 6;" \
+ "ramdisk.img part 0 7;" \
+ "ramdisk-recovery part 0 8\0"
+
+#define CONFIG_DFU_ALT_BOOT_EMMC ""
+
+/* NFSDOWN */
+#define CONFIG_IP_DEFRAG
+
+#define CONFIG_SET_DFU_ALT_INFO
+#define CONFIG_SET_DFU_ALT_BUF_LEN (SZ_1K)
+
/* Environment */
#define ENV_DEVICE_SETTINGS \
"stdin=serial,usbkbd\0" \