/* mainboard configuration */

#define SIO_EC_ENABLE_PS2K       // Enable PS/2 Keyboard
#define SIO_ENABLE_PS2M          // Enable PS/2 Mouse