x86_32: Added notice about CONFIG_PSE in large page test.
authorSimon Gerber <simon.gerber@hp.com>
Wed, 18 Jun 2014 23:01:27 +0000 (16:01 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:28 +0000 (21:19 +0200)
Signed-off-by: Simon Gerber <simon.gerber@hp.com>

usr/tests/large_page/map_test_32.c

index f70d2af..5402cd1 100644 (file)
 
 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;