|
|
505dde35ac
|
Make GDB source .gdbconf relative to the root directory
|
2022-12-03 17:34:36 +01:00 |
|
|
|
dcd5a82073
|
Make GDB use the correct kernel file
|
2022-12-03 17:34:14 +01:00 |
|
|
|
8daffa876c
|
Make some shell scripts executable
|
2022-10-12 14:31:50 +02:00 |
|
|
|
4a212b4c92
|
Modify shebangs to use /usr/bin/env bash instead of /bin/sh
|
2022-10-08 15:35:39 +02:00 |
|
|
|
aa5c1be945
|
Separate building a debug image and running it, and provide a script for GDB.
|
2022-10-08 15:32:48 +02:00 |
|
