Yavor Doganov, on dim. 18 févr. 2018 23:52:32 +0200, wrote: > | checking kernel support for /proc filesystem... no Looking at the actual test: grep 'proc' /proc/mounts It seems there was a temporary issue on mahler: $ cat /proc/mounts cat: /proc/mounts: (os/kern) invalid right Rebooting seems to fix it, I have requeued gnustep-base. Something to keep an eye on. Samuel