pandora: workaround some reported problems

[picodrive.git] / platform / pandora / PicoDrive.sh

diff --git a/platform/pandora/PicoDrive.sh b/platform/pandora/PicoDrive.sh
index 02943e7..729a7c1 100755 (executable)
--- a/platform/pandora/PicoDrive.sh
+++ b/platform/pandora/PicoDrive.sh
@@ -1,7 +1,10 @@
 #!/bin/sh
 
-# 2x2M hugepages should be enough
-sudo -n /usr/pandora/scripts/op_hugetlb.sh 4
+# 3.2.30 on pandora has broken hugetlb
+if [ "`uname -r`" != "3.2.30" ]; then
+  # 2x2M hugepages should be enough
+  sudo -n /usr/pandora/scripts/op_hugetlb.sh 4
+fi
 
 ./PicoDrive "$@"