有简单的方法将linux驱动程序移植到L4吗？

Question

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

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

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

Answer 1

很多年前，我最后一次深入研究L4。

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

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