coreboot-kgpe-d16/src/mainboard/google/beltino/acpi
..
ec.asl
mainboard.asl
platform.asl
superio.asl
thermal.asl
usb.asl