x86_32: only allow larger page sizes for morecore when PSE enabled.
[barrelfish] / lib / barrelfish / init.c
index 9c134d2..a3303c6 100644 (file)
@@ -245,6 +245,9 @@ errval_t barrelfish_init_onthread(struct spawn_domain_params *params)
     } else {
         size_t morecore_pagesize = 0;
         parse_argv(params, &morecore_pagesize);
+#if defined(__i386__) && !defined(CONFIG_PSE)
+        morecore_pagesize = BASE_PAGE_SIZE;
+#endif
         err = morecore_init(morecore_pagesize);
     }
     if (err_is_fail(err)) {