Dell WMI-based Systems management driver

modulename: dell-wmi-sysman.ko

configname: CONFIG_DELL_WMI_SYSMAN

Linux Kernel Configuration
└─>Device Drivers
└─>X86 Platform Specific Device Drivers
└─>Dell WMI-based Systems management driver
In linux kernel since version 5.2 (release Date: 2019-07-07)  
This driver allows changing BIOS settings on many Dell machines from
2018 and newer without the use of any additional software.

To compile this driver as a module, choose M here: the module will
be called dell-wmi-sysman.

source code: