CONFIG_NUM_TASK_PRIORITIES=64
CONFIG_NUM_IRQS=2
CONFIG_TEST_RANDOM_GENERATOR=y