CONFIG_SOC_SERIES_S32K3=y
CONFIG_BOARD_S32K388_RENODE=y
CONFIG_ARM=y
CONFIG_CPU_CORTEX_M7=y
CONFIG_CPU_HAS_FPU=y
CONFIG_FPU=y
CONFIG_CONSOLE=y
CONFIG_UART_CONSOLE=y
CONFIG_SERIAL=y
CONFIG_CLOCK_CONTROL=n
CONFIG_SYS_CLOCK_HW_CYCLES_PER_SEC=160000000
