I'm trying to modify the semmnu kernel parameter on a Red Hat Enterprise Linux AS 4 server. When I enter: # sysctl -w kernel.semmnu="75" I get the following response: error: 'kernel.semmnu' is an unknown key Can anyone tell me how to make this key known? Thanks. -Glenn.