1sources {
2	u_boot_spl="spl/u-boot-spl.bin";
3	u_boot="u-boot.bin";
4}
5
6section (0) {
7	load u_boot_spl > 0x0000;
8	load ivt (entry = 0x0014) > 0x8000;
9	hab call 0x8000;
10
11	load u_boot > 0x40000100;
12	load ivt (entry = 0x40000100) > 0x8000;
13	hab call 0x8000;
14}
15