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