Or Linus would have found some other way to have a userspace and we’d still have Linux but with different tools.