Anyone have any pointers on using kernel modules with L4Linux?
Here's the setup: i386 L4 Fiasco V.2 L4Linux third party kernel modules
We've been playing with various modules trying to get them to work with the L4Linux kernel. Some modules compile fine against the L4Linux source; others give warnings. Further, some load fine but do not work properly; others complain about missing symbols. It is conceivable that we have non-L4Linux related issues but wanted to check and see if there is anything special to know about building modules for L4Linux? Specifically, what are possible reasons that a kernel module would work on a stock i386 arch Linux kernel but not work on the same version L4 arch Linux kernel?
Thanks!
-Julian
On Wed Apr 06, 2005 at 00:46:59 -0400, Julian Grizzard wrote:
We've been playing with various modules trying to get them to work with the L4Linux kernel. Some modules compile fine against the L4Linux source; others give warnings. Further, some load fine but do not work properly; others complain about missing symbols. It is conceivable that we have non-L4Linux related issues but wanted to check and see if there is anything special to know about building modules for L4Linux? Specifically, what are possible reasons that a kernel module would work on a stock i386 arch Linux kernel but not work on the same version L4 arch Linux kernel?
There should not be any big issue but it might be that the l4 part is not exporting some symbols for modules that are needed. So if you hit issues like that just add them, and if you feel like it mail them to me so that I can stuff them into the repo.
Adam
On Apr 8, 2005 5:09 PM, Adam Lackorzynski adam@os.inf.tu-dresden.de wrote:
On Wed Apr 06, 2005 at 00:46:59 -0400, Julian Grizzard wrote:
We've been playing with various modules trying to get them to work with the L4Linux kernel. Some modules compile fine against the L4Linux source; others give warnings. Further, some load fine but do not work properly; others complain about missing symbols. It is conceivable that we have non-L4Linux related issues but wanted to check and see if there is anything special to know about building modules for L4Linux? Specifically, what are possible reasons that a kernel module would work on a stock i386 arch Linux kernel but not work on the same version L4 arch Linux kernel?
There should not be any big issue but it might be that the l4 part is not exporting some symbols for modules that are needed. So if you hit issues like that just add them, and if you feel like it mail them to me so that I can stuff them into the repo.
Okay, good idea on the symbols. Helped make some progress with my problems. May send you a list at some point...
Thanks!
-Julian
l4-hackers@os.inf.tu-dresden.de
-
Adam Lackorzynski -
Julian Grizzard