1CONFIG_ASSERT=y
2CONFIG_NUM_METAIRQ_PRIORITIES=1
3CONFIG_TEST_RANDOM_GENERATOR=y
4CONFIG_LOG=y
5CONFIG_LOG_MODE_MINIMAL=y
6
7# We're testing delivery latency to threads on a single CPU, MP
8# dispatch will mess up the statistics.
9CONFIG_MP_MAX_NUM_CPUS=1
10