x86_32: Added notice about CONFIG_PSE in large page test.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>

diff --git a/usr/tests/large_page/map_test_32.c b/usr/tests/large_page/map_test_32.c
index f70d2af..5402cd1 100644 (file)
--- a/usr/tests/large_page/map_test_32.c
+++ b/usr/tests/large_page/map_test_32.c
@@ -21,6 +21,10 @@
 
 int main(void)
 {
+#if !defined(CONFIG_PSE)
+    debug_printf("PSE not enabled, change Config.hs and rebuild.\n");
+    return 0;
+#endif
     errval_t err;
     struct capref frame;
     size_t retsize;