
DeviceConfig() {
    read manufacturer </sys/class/dmi/id/sys_vendor
    read model </sys/class/dmi/id/product_name
    read version </sys/class/dmi/id/product_version
    read bios_version </sys/class/dmi/id/bios_version
}
