1CONFIG_FORCE_NO_ASSERT=n
2CONFIG_ASSERT=y
3
4# May be enabled for GitHub CI to reduce host scheduling noise while running
5# several concurrent Qemu processes each under stressful SMP load.
6# CONFIG_PTHREAD_CREATE_BARRIER=y
7