List of L4Linux kernel parameters

[Andreas Niederl]

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