C'e' qualche modo per sapere con quali opzioni e' stato compilato il kernel ? -- Giancarlo Martini http://www.mcgsoft.net mailto:g-martini@mcgsoft.net