search

lkl / linux

Linux kernel source tree
https://lkl.github.io/
Other
812 stars 138 forks source link

[question] LKL vs DDEKit #121

Open staalmannen opened 8 years ago

staalmannen commented 8 years ago

.... perhaps something to add to the FAQ in the lkl.txt?

DDEKit seems to have some overlapping interests with LKL when it comes to building native drivers for other kernels with a "glue" layer. As far as I know, they implemented L4 kernel and Hurd kernel targets. As far as I know, the only users are the GenodeOS project and Hurd, and both seem to move towards Rump kernels instead. It is very hard to know how active it is or what uses it has.

Are the "glue" implementations in DDEKit for those alternative kernels possible to re-use for LKL?

https://os.inf.tu-dresden.de/ddekit/

M1cha commented 8 years ago

Couldn't LKL be used as a cygwin replacement too or does it sth. fundamentally different which I just don't see?