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-or-later */
2 
3 #ifndef __VARIANT_EC_H__
4 #define __VARIANT_EC_H__
5 
6 #include <baseboard/ec.h>
7 
8 /* Enable PS/2 Mouse */
9 #define SIO_EC_ENABLE_PS2M
10 
11 #endif