mb/google/fatcat: config GPP_F23 as ISH gpio pin
[coreboot.git] / src / mainboard / lenovo / x131e / acpi / superio.asl
blobee2eabeb756e85a27de9683f8df6fbc1bb9b791c
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 #include <drivers/pc80/pc/ps2_controller.asl>