The Raspberry PI is bundled with Debian Linux as it’s operating system. There are alternative operating systems available, but these will probably be used by the real enthusiasts.