Bjoern Doebel wrote: [...]
does a list of the L4Linux kernel parameters (e.g. l4ser.vkey_irq) exist somewhere?
I don't know about such list. Try searching the source for occurences of the module_param macro and hope that there is a corresponding MODULE_PARM_DESC. ;)
For the L4-specific stuff, this looks good for me:
find src/l4linux-2.6/ -name "l4*" | xargs \ grep "module_param|MODULE_PARM_DESC"
Thanks, that's helpful. I noticed that there are still more parameters (e.g. l4irqack=) which can be found with: grep -r '__setup(' l4linux-2.6 | grep l4
Regards, Andi