List of L4Linux kernel parameters

[Bjoern Doebel]

-----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

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFFCrw+P5ijxgQLUNkRAhtrAJ0Xvb5NSELXSClAX4dniXo+zDMPhACbBxJQ
Mv5puG3pDAwdRtZRYAVdm1g=
=AyVL
-----END PGP SIGNATURE-----