On Mon, 2023-04-03 at 10:37 +0000, [email protected] wrote:
> I did nothing to make it use tmpfs. Should I explicitly take some actions
> to get it outside of tmpfs?
Hi,
no you don't need to take any action.
I suspect my other idea to disable tmpfs entirely is entirely idiotic.
$ df -h | grep tmpfs
tmpfs 16G 0 16G 0% /dev/shm
tmpfs 16G 8.0K 16G 1% /tmp
tmpfs 3.2G 64K 3.2G 1% /run/user/1000
^^^^Used^
Disabling tmpfs would probably even not really free those 72K.
If you should share RAM for the framebuffer, reducing the framebuffer
size might make a difference.
I can't comment on "tinyconfig" or "localmodconfig", but this is what I
would try.
Regards,
Ralf
