David Baron wrote:
Building rt patched kernel using: make-kpkg --append-to-version -davidb-rt kernel_image
<snip> Whatif you did: make-kpkg --revision 1 --append-to-version -davidb-rt kernel_image Hugo