Steffen Schulz <pepe_ml at gmx.net> wrote: Hi, > But then the separate tool that uses the bios should work. Indeed. Looks like the nvidia driver is doing something nasty. JB. -- Julien BLACHE <http://www.jblache.org> <jb at jblache.org> GPG KeyID 0xF5D65169