Ubuntu Manpage: I8kctl, i8kfan - Utility to access SMM BIOS and DMI table information from Dell laptops