diff options
| -rwxr-xr-x | init | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -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. # |