e117ce3c2be9cf9b828c7b47baa479a1c7b89997 - sim/config

commit: e117ce3c2be9cf9b828c7b47baa479a1c7b89997

[log]
author: Marcin Witkowski <mwitkowski@antmicro.com>

Fri Feb 04 12:44:21 2022 +0100
committer: Marcin Witkowski <mwitkowski@antmicro.com>

Thu Feb 17 16:29:14 2022 +0100
tree: e1513dbee749c603371a086b53c0d671e8ac6c61
parent: 08a66ac421ed1a7dfff1aebf9e6ee828fd9a9cc6 [diff]

sim:config: add tools for debugging userspace

Adds seL4Extension and GDB script which provides convenience functions
for debugging user-space seL4 applications.

Change-Id: I1851d4c1c0652479a31870ed20e2dcfd438f002f

gdbscript.py[Added - diff]
shodan.resc[diff]
shodan_infrastructure/seL4Extensions.cs[Added - diff]

3 files changed

tree: e1513dbee749c603371a086b53c0d671e8ac6c61

platforms/
shodan_infrastructure/
gdbinit
gdbscript.py
shodan.resc
springbok.resc