gef4kernel A set of commands to improve QoL while debugging a kernel using GEF/GDB. For the moment I have implemented only a very ugly and simple command to perform a pagewalk for a given address on Linux/x64.