| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-01 | More work on GDB interface | Alasdair Armstrong | |
| The following now works to run sail on every HVC call with hafnium function gdb_init() -> unit = { // Connect to QEMU via GDB sail_gdb_qemu(""); sail_gdb_symbol_file("hafnium.elf.sym"); sail_gdb_send("break-insert sync_lower_exception") } function gdb() -> unit = { gdb_init(); while true do { sail_gdb_send("exec-continue"); sail_gdb_sync() } } | |||
| 2019-05-29 | Some minor grammar fixes in internals.md | Alasdair Armstrong | |
| 2019-05-29 | Fix some typos | Alasdair Armstrong | |
| 2019-05-29 | Add some Sail internals documentation | Alasdair Armstrong | |
 |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |