CONFIG_FORCE_NO_ASSERT=n
CONFIG_ASSERT=y

# May be enabled for GitHub CI to reduce host scheduling noise while running
# several concurrent Qemu processes each under stressful SMP load.
# CONFIG_PTHREAD_CREATE_BARRIER=y