I agree that this bug should be invalidated. It was caused by two operator errors:
1) Not running the apply-patchset 2) Not having /debian in the linux-rt source tree (while the rest of the source tree was there).
Following Alessio's steps above, I do get the debian directory that then allows me to run the apply-patchset. And the configs do match from there.
I agree that this bug should be invalidated. It was caused by two operator errors:
1) Not running the apply-patchset
2) Not having /debian in the linux-rt source tree (while the rest of the source tree was there).
Following Alessio's steps above, I do get the debian directory that then allows me to run the apply-patchset. And the configs do match from there.