# No timer support in the kernel
CONFIG_SYS_CLOCK_EXISTS=n