On 2007-10-03 06:38, Shachar Shemesh wrote: > Once a 32 bit kernel is up, the BIOS never gets used again.
Actually, many modern machines (especially laptops) still execute BIOS code after the 32-bit kernel is up, via System Management Mode. It typically gets invoked by hardware sensors, keys, the ACPI DSDT interpreter, and various drivers. Eran ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]