sources {
	u_boot_spl="@@BUILD_DIR@@spl/u-boot-spl";
	u_boot="@@BUILD_DIR@@u-boot";
}

section (0) {
	load u_boot_spl;
	load ivt (entry = u_boot_spl:reset) > 0x8000;
	hab call 0x8000;

	load u_boot;
	load ivt (entry = u_boot:reset) > 0x8000;
	hab call 0x8000;
}