diff --git a/sys/kern/p1003_1b.c b/sys/kern/p1003_1b.c
index 5de60f2ce8ef..9620a36bfa10 100644
--- a/sys/kern/p1003_1b.c
+++ b/sys/kern/p1003_1b.c
@@ -102,7 +102,7 @@ sched_attach(void)
 	int ret = ksched_attach(&ksched);
 
 	if (ret == 0)
-		p31b_setcfg(CTL_P1003_1B_PRIORITY_SCHEDULING, 1);
+		p31b_setcfg(CTL_P1003_1B_PRIORITY_SCHEDULING, 200112L);
 
 	return ret;
 }
diff --git a/sys/kern/posix4_mib.c b/sys/kern/posix4_mib.c
index cbe140df68c7..2fb926b8c846 100644
--- a/sys/kern/posix4_mib.c
+++ b/sys/kern/posix4_mib.c
@@ -164,9 +164,10 @@ p31b_iscfg(int num)
 static void
 p31b_set_standard(void *dummy)
 {
-	/* ??? p31b_setcfg(CTL_P1003_1B_FSYNC, 1); */
-	p31b_setcfg(CTL_P1003_1B_MAPPED_FILES, 1);
-	p31b_setcfg(CTL_P1003_1B_SHARED_MEMORY_OBJECTS, 1);
+
+	p31b_setcfg(CTL_P1003_1B_FSYNC, 200112L);
+	p31b_setcfg(CTL_P1003_1B_MAPPED_FILES, 200112L);
+	p31b_setcfg(CTL_P1003_1B_SHARED_MEMORY_OBJECTS, 200112L);
 	p31b_setcfg(CTL_P1003_1B_PAGESIZE, PAGE_SIZE);
 	if (!p31b_iscfg(CTL_P1003_1B_AIO_LISTIO_MAX))
 		p31b_setcfg(CTL_P1003_1B_AIO_LISTIO_MAX, -1);