The officially official Devuan Forum!

grunchy

Member

Registered: 2024-01-01

Posts: 15  

[SOLVED] changing the size of udev filesystem on /dev

i cannot find the config file or setting used to specify the size of /dev

currently /dev is set to 50% of physical memory. there is nothing in
/etc/defaults or /lib/init and only a remount in /etc/init.d/eudev, which
specifies a variable setting: tmpfs_size="10M" (so that ain't it)

nothing appears in /var/log/boot

where could this setting/config be coming from?
seems odd that it would be hard-coded and not documented.

ralph.ronnquist

Administrator

From: Battery Point, Tasmania, AUS

Registered: 2016-11-30

Posts: 1,251  

Re: [SOLVED] changing the size of udev filesystem on /dev

(I edited this post since my first suggestion was bogus)

The devtmpfs filesystem is set up and initially populated by the kernel, and that uses 50% RAM as its limit.

The first mounting happens in the initrd's init scripts which are provided by initramfs-tools at /usr/share/initramfs-tools/. In my case it's at /usr/share/initramfs-tools/init:36, where you may add a size=nnn limit. Then use update-initramfs so as to include your fix in the initrd, and then reboot. Perhaps like the following hands-on:

# sed '/devtmpfs/s|-o |-o size=100M,|' -i /usr/share/initramfs-tools/init
# update-initramfs -u -k all
# reboot

EDIT: This way worked for me and it's as early as possible (without rebuilding the kernel).

grunchy

Member

Registered: 2024-01-01

Posts: 15  

Re: [SOLVED] changing the size of udev filesystem on /dev

thank you ralph.ronnquist.  this works.  i like ths solution: if there is no 'knob' to adjust then make one!