# Kconfig settings for compiling and running the micro-controller code# in a Linux processifMACH_LINUX
configLINUX_SELECT
booldefaulty
selectHAVE_GPIO_ADC
selectHAVE_GPIO_SPI
selectHAVE_GPIO_HARD_PWM
selectHAVE_GPIO_I2C
configBOARD_DIRECTORY
stringdefault"linux"configCLOCK_FREQ
intdefault50000000endif