1 sources { 2 elffile = extern(0) (toolset="ghs"); 3 redboot = extern(1); 4 hostlink = extern(2); 5 srecfile = "test_files/sd_player_gcc.srec"; 6 } 7 8 constants { 9 IVT_ADDR = 0x1000; 10 } 11 12 section (0) 13 { 14 15 load hostlink; 16 call hostlink; 17 18 load dcd {{ 00 11 22 33 }} > 0x100; 19 20 load ivt ( 21 entry = elffile:_start 22 // dcd = 0x2000, 23 // csf = 0x3000, 24 // boot_data = 0x55aa55aa.w 25 // self = IVT_ADDR 26 ) > IVT_ADDR; 27 28 hab call IVT_ADDR; 29 30 load ivt (entry=hostlink:_start, self=IVT_ADDR); 31 32 hab jump IVT_ADDR; 33 } 34 35 36 37