-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi,
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"
Bjoern