/* NFSDOWN */
#define CONFIG_IP_DEFRAG
+#ifdef CONFIG_TARGET_RPI_4_32B
+#define TIZEN_VC_MEM "vc_mem.mem_base=0x3ec00000 vc_mem.mem_size=0x40000000 "
+#else
+#define TIZEN_VC_MEM "vc_mem.mem_base=0x3dc00000 vc_mem.mem_size=0x3f000000 "
+#endif
+
/*
# Tizen kernel image is over than 16MB, it will be overlapped with other address.
# To avoid this behaivor, change to 0x03300000 from 0x01000000
"bootdev=mmc\0" \
"tfm=setenv bootmode download; run bootcmd\0" \
"tizen_bootarg=" \
+ TIZEN_VC_MEM \
"8250.nr_uarts=1 dma.dmachans=0x7f35 bcm2709.serial=0xed6687d3 " \
- "bcm2709.uart_clock=48000000 vc_mem.mem_base=0x3dc00000 " \
- "vc_mem.mem_size=0x3f000000 dwc_otg.lpm_enable=0\0" \
+ "bcm2709.uart_clock=48000000 dwc_otg.lpm_enable=0\0" \
"opts=loglevel=4\0"
#endif /* __CONFIG_TIZEN_RPI_H */