Open main menu

Set IRIX kernel parameters.