[EXWM] There is no system but GNU and Linux is one of its kernels.