xref: /netbsd-src/external/bsd/elftosb/dist/bdfiles/habtest.bd (revision 993229b6fea628ff8b1fa09146c80b0cfb2768eb) 
1sources {
2    elffile = extern(0) (toolset="ghs");
3    redboot = extern(1);
4    hostlink = extern(2);
5	srecfile = "test_files/sd_player_gcc.srec";
6}
7
8constants {
9    IVT_ADDR = 0x1000;
10}
11
12section (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