Pages for logged out editors learn more
wikipedia:List of Linux distributions
We tend to use in the course: debian & ubuntu.