cdsteinkuehler/linux-dev — pull request #4 by mhaberler (2014-03-31 09:00:37+00:00)
Title: xenomai/pepare-kernel.sh: switch to using --outpatch=

generating the patch with --outpatch=, and applying it thereafter
resolves a dangling links issue under /usr/src/linux-headers*