The text a027bb21ad52, as Debian 10 (Buster) shipped it.
get information about the system hardware
PAPI_get_hardware_info(3) on Linux now
