[$] User-space access to WMI functions

Windows Management Instrumentation (WMI) is a vaguely defined mechanism forthe control of platform-specific devices; laptop functions like specialbuttons, LEDs, and the backlight are often controlled through WMIinterfaces. On Linux, access to WMI functions is restricted to the kernel,while Windows allows user space to use them as well. A recent proposal tomake WMI functions available to user space in Linux as well spawned aslow-moving conversation that turned on a couple of interesting questions -only one of which was anticipated in the proposal itself.