EugenePlanteurCS

Hi, thank you for your answer ! Using the command `grep -E "CONFIG_.*_NS" /boot/config-$(uname -r)`, all variables are set as expected: - `CONFIG_USER_NS=y` - `CONFIG_PID_NS=y` - `CONFIG_NET_NS=y` - `CONFIG_UTS_NS=y` -...

Hi ! Thanks for looking into this ! Out of curiosity I tried the command on my pc, with the following output: ``` CONFIG_UTS_NS=y CONFIG_TIME_NS=y CONFIG_IPC_NS=y CONFIG_USER_NS=y CONFIG_PID_NS=y CONFIG_NET_NS=y CONFIG_NF_CONNTRACK_NETBIOS_NS=m...