carta

acpi_wmi(4freebsd) on Linux

The text 474267dda1df, as Debian 8 (Jessie) shipped it.

ACPI to WMI mapping driver

acpi_wmi(4freebsd) on Linux now