Which operating system is used for your servers?

We use Debian 3.0, (Linux distribution) with an up to date kernel, for our servers.