# Extra configuration file to enable timeslicing support
# Use with EXTRA_CONF_FILE
CONFIG_TIMESLICING=y