Dennis Dominguez

Docker containers to do jenkins + ansible stuff?

Kernel.source should be in the repo somewhere... I think it's in the bash folder

https://github.com/dddomin3/DSPi/blob/master/bash/kernel.source

https://www.raspberrypi.org/forums/viewtopic.php?t=206346 >>> sudo modprobe configs Then you will be able to see the /proc/config.gz "file"

No problem! Were you able to find a matching kernel patch for the latest raspian version?

I think you can do `uname -a` to get kernel version iirc

You can check the releases tab in git, or look to see when that version commit was made

Sorry, I'm completely afk but will be at a computer on Friday if you still need help

Ooohh I'd definitely try that rt branch and see if it works. If it does, that makes this process way easier.

Then you wouldn't need to patch, you can just push that built kernel instead. Pretty sure that wasn't around when I configured my pi at first.