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.
 #