A family of free and open source software operating systems based on the Linux kernel