首页 > 解决方案 > 为什么 Xenomai Kernel 不支持 EFI 切换?

问题描述

我在尝试运行 Xenomai 内核时遇到了问题。

我在 Windows 上的 Hyper-V 的 VM 中安装了 Ubuntu 20,在这个 Ubuntu 20 中,我创建了 Xeonmai 4 内核并将其添加到这个 linux 内核,现在将组添加到来自 etc/defaults/grub 的 grub 文件中的允许组我正在尝试初始化这个内核,但我收到一条错误消息,说 Xenomai 不支持 EFI 切换。

所以我的问题是,为什么 Xenomai 4.19 不支持 EFI 切换?我不太清楚这意味着什么,我可以做点什么让它支持 EFI 切换吗?如何更改此 EFI 切换?或者这个 EFI 切换到底是什么?任何关于它的答案或评论都会非常有帮助

当我在 GRUB 的 ubuntu 的高级选项中选择 Xenomai 内核时,我附上了一个链接到我收到的消息的图像

在此处输入图像描述

标签: ubuntuxenomai

解决方案


推荐阅读