NixOS/nixpkgs — pull request #32 by peti (2012-07-02 15:22:18+00:00)
Title: Xen for Linux 3.2

I don't use Xen myself, so I'd appreciate if someone who does could review those patches before pulling them into Nixpkgs.