ACPI-specific documentation

This section contains documentation about coreboot on ACPI.

• SSDT UID generation

GPIO

• GPIO toggling in ACPI AML

devicetree

• Adding devices to a device tree