Fixes for mixing the kernel and userland from different distributions
We successfully conducted some experiments in which we mixed the kernel from one distribution with the userland of another one. We found that the procedure works well, except for a few issues. In this article, I will summarize the solutions.