我尝试安装Ubuntu实时内核,但我有一个(我认为)补丁的问题。当我运行sudo make install时,我遇到了以下问题
depmod: ERROR: could not open directory /lib/modules/4.14.71-rt44: No such file or directory
在/lib/modules/中,我只有4.15.0-29-generic 4.15.0-36-generic。要安装实时内核,我们需要linux-4.14.71.tar.xz and patch-4.14.71-rt44.patch.xz (参见)。问题是如何将patch-4.14.