sources {
    elffile = extern(0) (toolset="ghs");
    redboot = extern(1);
    hostlink = extern(2);
	srecfile = "test_files/sd_player_gcc.srec";
}

constants {
    IVT_ADDR = 0x1000;
}

section (0)
{

    load hostlink;
    call hostlink;

    load dcd {{ 00 11 22 33 }} > 0x100;

    load ivt (
        entry = elffile:_start
//        dcd = 0x2000,
//        csf = 0x3000,
//        boot_data = 0x55aa55aa.w
//        self = IVT_ADDR
    ) > IVT_ADDR;

    hab call IVT_ADDR;

    load ivt (entry=hostlink:_start, self=IVT_ADDR);

    hab jump IVT_ADDR;
}