coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
ec.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <baseboard/ec.h>
4 
5 /* Enable Tablet switch */
6 #define EC_ENABLE_TBMC_DEVICE
7 
8 /*
9  * Enable EC sync interrupt via GPIO controller, EC_SYNC_IRQ is defined in
10  * variant/gpio.h
11  */
12 #define EC_ENABLE_SYNC_IRQ_GPIO