是否有一种简单的方法将Linux驱动程序移植到L4？

Question

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

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

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

Answer 1

我很久以前就深入研究过L4。

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

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