> We cannot really pass it through the ACPI table because the ACPI > table is common to all BlueField-2 boards. And each board may have > a different GPIO pin associated with a particular function. This is > why we use ACPI properties instead of GpioInt(). So that the > bootloader can change the GPIO pin value based on the board id > detected at boot time. That sounds very broken. ACPI describes the hardware. If the hardware is different, you need different ACPI. And i assume the ACPI spec says GpioInt() is the correct way to do this, and does not say you can hack around limitations of your bootloader using properties? Andrew