有没有一种简单的方法可以将 Linux 驱动程序移植到 L4

Question

我想在seL4上构建一个系统，我不想从头开始编写驱动程序。我知道L4linux管理是为了提高整个linux内核，包括驱动程序，而不是惨败。

理想情况下，我想要一个驱动程序包装器，它允许我将 linux 驱动程序作为独立任务运行在 sel4 上。

我愿意编写很多代码。 但我想避免阅读硬件规格表和重写驱动程序。

Answer 1

我上一次深入研究L4是在很多年前。

根据我的理解，你的问题的答案一般应该是否定的。造成这种情况的原因主要有两个方面：一是因为一个完全臃肿的Linux驱动程序需要照顾太多方面才能集成到内核子系统中。另一个原因是两个内核不同。

如果您正在查看的特定驱动程序没有大量集成到内核子系统中，那么开发包装器对您来说可能不是一项艰巨的任务。