Could you point me in a right direction how to do that? I also need to compile a driver module. I have a source code of kernel, I checked out the right version. My goal is to make it work as if I had linux-headers-xxx package installed (sadly one for macchiatobin is not available). Right now there is no /lib/module