Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 46 lines 990 B view raw
1{ 2 stdenv, 3 lib, 4 fetchFromGitHub, 5 kernel, 6 kernelModuleMakeFlags, 7}: 8 9stdenv.mkDerivation rec { 10 name = "virtio_vmmci"; 11 version = "0.6.2"; 12 13 src = fetchFromGitHub { 14 owner = "voutilad"; 15 repo = "virtio_vmmci"; 16 rev = version; 17 hash = "sha256-h8yu4+vTgpAD+sKa1KnVD+qubiIlkYtG2nmQnXOi/sk="; 18 }; 19 20 hardeningDisable = [ 21 "pic" 22 "format" 23 ]; 24 nativeBuildInputs = kernel.moduleBuildDependencies; 25 26 extraConfig = '' 27 CONFIG_RTC_HCTOSYS yes 28 ''; 29 30 makeFlags = kernelModuleMakeFlags ++ [ 31 "DEPMOD=echo" 32 "INSTALL_MOD_PATH=$(out)" 33 "KERNELRELEASE=${kernel.modDirVersion}" 34 "KERNELDIR=${kernel.dev}/lib/modules/${kernel.modDirVersion}/build" 35 ]; 36 37 meta = with lib; { 38 description = "OpenBSD VMM Control Interface (vmmci) for Linux"; 39 homepage = "https://github.com/voutilad/virtio_vmmci"; 40 license = licenses.gpl2Plus; 41 maintainers = with maintainers; [ qbit ]; 42 platforms = platforms.linux; 43 }; 44 45 enableParallelBuilding = true; 46}