the kernel is now completely namespace-free