tools/elftosb/bdfiles/habtest.bd

   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