"params.bin raw 0x1701 0x20;" \
"/Image.itb ext4 $rootdev $bootpart;" \
"system-data part 0 5;" \
- "user part 0 6\0"
+ "user part 0 6;" \
+ "hal part 0 7\0"
#define CONFIG_EXTRA_ENV_SETTINGS \
"fdt_high=0xffffffff\0" \
flash=mmc,0:modules:ext4:0x2400000,0x2000000:modules.img;
flash=mmc,0:rootfs:ext4:0x4400000,0x60000000:rootfs.img;
flash=mmc,0:system-data:ext4:0x64500000,0x40000000:system-data.img;
-flash=mmc,0:user:ext4:0xA4500000,0:user.img;
+flash=mmc,0:user:ext4:0xA8500000,0:user.img;
+flash=mmc,0:hal:ext4:0xA4500000,0x4000000:hal.img;