|
|
dcd5a82073
|
Make GDB use the correct kernel file
|
2022-12-03 17:34:14 +01:00 |
|
|
|
89cbe5957b
|
Update .gdbconf to point to the non-stripped kernel executable
|
2022-10-12 10:17:49 +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 |
|
