From 51b093b598063a08d995d1bd3c3f1b9d6a71b037 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jeremy@system76.com>
Date: Wed, 26 Dec 2018 19:57:08 -0700
Subject: [PATCH] Use 4096 as Linux page size for now

---
 src/platform/linux/mod.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/platform/linux/mod.rs b/src/platform/linux/mod.rs
index 0cde29c9ad..30f9405116 100644
--- a/src/platform/linux/mod.rs
+++ b/src/platform/linux/mod.rs
@@ -240,7 +240,8 @@ impl Pal for Sys {
     }
 
     fn getpagesize() -> c_int {
-        e(unsafe { syscall!(GETPAGESIZE) }) as c_int
+        //TODO
+        4096
     }
 
     fn getpgid(pid: pid_t) -> pid_t {