A Linux distribution for developers