diff --git a/sys/conf/options b/sys/conf/options index 616fe126dea..e49a89d6e77 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -158,6 +158,7 @@ WLCACHE opt_wavelan.h WLDEBUG opt_wavelan.h # POSIX kernel options +P1003_1B_MQUEUE opt_posix.h P1003_1B_SEMAPHORES opt_posix.h _KPOSIX_PRIORITY_SCHEDULING opt_posix.h