nixpkgs/pkgs/os-specific/linux/ov511/ov511-2.30-default.nix

{stdenv, fetchurl, kernel}:

stdenv.mkDerivation {
  name = "ov511-2.30";
  builder = ./ov511-2.30-builder.sh;
  src = fetchurl {
    url = http://nix.cs.uu.nl/dist/tarballs/ov511-2.30.tar.bz2;
    md5 = "9eacf9e54f2f54a59ddbf14221a53f2a";
  };
  patches = [./ov511-kernel.patch];
  inherit kernel;
  NIX_GLIBC_FLAGS_SET=1;
}