No matches were found for subject:"Proper way to detect kernel \/ userland sources\?"