/usr/src/linux-7.1.13-redcore-r2/vmlinux 
