Lula at FISL 10 uses Red Hat.