summaryrefslogtreecommitdiff
path: root/src/elf_loader.ml
AgeCommit message (Expand)Author
2019-03-04Merge branch 'sail2' into rmem_interpreterJon French
2019-02-27Provide more access to the ELF symbols in the OCaml ELF-loader.Prashanth Mundkur
2019-02-25Merge branch 'sail2' into rmem_interpreterJon French
2019-02-20Record the type of loaded ELF for sanity checks.Prashanth Mundkur
2019-02-20Support 32-bit ELF in OCaml loader.Prashanth Mundkur
2018-10-15Interpreter: add new command :bin <addr> <file> to load raw binary into memoryJon French
2018-06-26In elf_loader don't attempt to convert paddr to int64 because on MIPS it is q...Robert Norton
2018-06-22Fix bug in elf_loader: zero memory when segment memsz exceeds size.Prashanth Mundkur
2018-06-08Fix use of non-tail-recursive calls in elf_loader.Prashanth Mundkur
2018-05-09Fix Byte_sequence errors due to linksem updateemersion
2018-03-12ELF loading for C backendAlasdair Armstrong
2018-02-26work around linksem crashing when trying to print an elf file where entry_poi...Robert Norton
2018-01-26Fixed loading ARM elf filesAlasdair Armstrong
2018-01-25Extend RISCV main loop with support for tohost interface used by test suite f...Robert Norton
2018-01-18Add elf_loader fileAlasdair Armstrong
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:34 +0000