List of L4Linux kernel parameters

Adam Lackorzynski adam at
Fri Sep 15 16:47:22 CEST 2006

On Fri Sep 15, 2006 at 16:20:28 +0200, Andreas Niederl wrote:
> does a list of the L4Linux kernel parameters (e.g. l4ser.vkey_irq) exist 
> somewhere?

Not that I know but this one-liner prints out a list:
grep -r  module_param arch/l4 drivers/*/l4* | perl -p -e 's at .*/(.+).c:module_param[^(]*\(([^,]+).*@$1.$2@'

Adam                 adam at

More information about the l4-hackers mailing list