1 files changed, 16 insertions, 0 deletions
diff --git a/redpsl b/redpsl
new file mode 100755
index 000000000000..0589336486ce
--- /dev/null
+++ b/redpsl
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+case `uname -m` in
+i*)
+      STORE=16000000
+      ;;
+x86_64)
+      STORE=1000
+      ;;
+esac
+
+bin="/usr/lib/reduce/pslbuild/psl/bpsl"
+img="/usr/lib/reduce/pslbuild/red/reduce.img"
+
+exec $bin -td $STORE -f $img $*
+