Skip to content

linux: handle non-ACPI systems in device_get() #224

linux: handle non-ACPI systems in device_get()

linux: handle non-ACPI systems in device_get() #224