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