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