x86_32: only allow larger page sizes for morecore when PSE enabled.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 13:29:19 +0000 (15:29 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 13:30:05 +0000 (15:30 +0200)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

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)) {