Original: The primary form, Debian GNU\/Linux, which uses the Linux kernel and GNU OS tools, is a popular and influential GNU\/Linux distribution.
Simplified: List of Linux distributions