mainboard/intel/avenuecity_crb: Update full IIO configuration
[coreboot2.git] / src / mainboard / dell / e7240 / acpi / superio.asl
blob55b1db5b11373713b55d3af8e3c3a74219a67558
1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #include <drivers/pc80/pc/ps2_controller.asl>