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

Question

我想在 seL4 上构建一个系统，我不想从头开始编写驱动程序。我知道 L4linux 设法通过 fiasco.OC 提升了整个 linux 内核，包括驱动程序。

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

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

Answer 1

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

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

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