History log of /barrelfish-master/tools/arm_boot/gdb_script.sh
Revision Date Author Comments
# fba20427 21-Jul-2016 David Cock <david.cock@inf.ethz.ch>

ARMv7: Generate GDB scripts

Signed-off-by: David Cock <david.cock@inf.ethz.ch>