Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO) - View it on GitHub