I’d argue that Stallman’s principal contribution to the world of technology was the GNU GPL and copyleft in general. Without that, neither Linux the kernel nor “Linux” the operating system would have taken off.