*IDEFS::HardDisc4.$.Projects.elrond.armlinux.foo-static2
ELF: Checking :HardDisc4.$.Projects.elrond.armlinux.foo-static2 (01c07970)... Accepted :D
ELF: entry point is 80d0
ELF: main header starts at 00008000
ELF: 3 program header(s) found at 00008034
ELF: program header 0 at 00008034 type 1
ELF: loadable segment found: base 8000 size 413648
ELF: program header 1 at 00008054 type 1
ELF: loadable segment found: base 75000 size 5712
ELF: program header 2 at 00008074 type 4
ELF: setting wimpslot to 468560 bytes
ELF: loading segments into memory using file handle 022746a4
ELF: disc 0x0 => memory 0x00008000 bytes 413648 total 413648
ELF: disc 0x65000 => memory 0x00075000 bytes 2576 total 5712
ELF: syscall 1: exit()
ELF: sys_exit, rc = 1
*