Re: List of L4Linux kernel parameters

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