List of L4Linux kernel parameters

Andreas Niederl niederl at
Fri Sep 15 16:59:58 CEST 2006

Bjoern Doebel wrote:
>>does a list of the L4Linux kernel parameters (e.g. l4ser.vkey_irq) exist 
> 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
> 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


More information about the l4-hackers mailing list