x86_32: only allow larger page sizes for morecore when PSE enabled.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/lib/barrelfish/init.c b/lib/barrelfish/init.c
index 9c134d2..a3303c6 100644 (file)
--- a/lib/barrelfish/init.c
+++ b/lib/barrelfish/init.c
@@ -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)) {