aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xinit8
1 files changed, 6 insertions, 2 deletions
diff --git a/init b/init
index d84e0bb..a0edb50 100755
--- a/init
+++ b/init
@@ -44,11 +44,15 @@ mount -t devtmpfs -o nosuid,mode=0755 udev /dev
mkdir -p /dev/pts
mount -t devpts -o noexec,nosuid,gid=5,mode=0620 devpts /dev/pts || true
+# If tmpfs size is unspecified, then the default is 50%. Note that for /tmp in
+# particular we may (temporarily) utilize several gigabytes while building the
+# toolchain.
+#
mkdir -p /run
-mount -t tmpfs -o "noexec,nosuid,size=10%,mode=0755" tmpfs /run
+mount -t tmpfs -o "noexec,nosuid,size=512M,mode=0755" tmpfs /run
mkdir -p /tmp
-mount -t tmpfs -o "nodev,nosuid,size=10%,mode=1777" tmpfs /tmp
+mount -t tmpfs -o "nodev,nosuid,size=2G,mode=1777" tmpfs /tmp
# Start udev.
#