aboutsummaryrefslogtreecommitdiff
path: root/init
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-07-08 15:38:35 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-07-08 15:38:35 +0200
commitac3afecc82ed3249e57b8926b19abef584933eea (patch)
tree7a845597149bdea87d527f74eb9a736238ca69ff /init
parent8ee8274b752a6fe9c53523e8b3fd2799ccb94801 (diff)
Adjust tmpfs sizes
Diffstat (limited to 'init')
-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.
#