I would like to but Debian/Ubuntu’s method of packing kernel image into a dpkg is very convenient. Especially with symbols, I have a custom kernel module that uses kprobes (may not be necessary anymore with newer frameworks like bpftrace) to instrument and trace my system.