/src/mainboard/scaleway/tagada/acpi/
../
mainboard.asl
mainboard_pci_irqs.asl
platform.asl
thermal.asl