2 Commits

Author	SHA1	Message	Date
apio	89cbe5957b	Update .gdbconf to point to the non-stripped kernel executable	2022-10-12 10:17:49 +02:00
apio	aa5c1be945	Separate building a debug image and running it, and provide a script for GDB.	2022-10-08 15:32:48 +02:00