Advertisement
Guest User

Untitled

a guest
Nov 5th, 2020
73
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.78 KB | None | 0 0
  1. { pkgs, ... }:
  2.  
  3. {
  4. boot.kernelPackages = let
  5. linux_opi3_pkg = { fetchurl, buildLinux, ... } @ args:
  6.  
  7. buildLinux (args // rec {
  8. version = "5.10.0-rc2";
  9. modDirVersion = version;
  10.  
  11. src = pkgs.fetchFromGitHub {
  12. owner = "megous";
  13. repo = "linux";
  14. rev = "8504203b708b17381ffdf0941656f4617ef2bc87";
  15. sha256 = "1m5285l66sa689dx9n85gqwk2lv41h00mq3qycips8hkcgf8nccx";
  16. };
  17. kernelPatches = [];
  18.  
  19. #extraConfig = ''
  20. # INTEL_SGX y
  21. #'';
  22.  
  23. extraMeta.branch = "orange-pi-5.10";
  24. } // (args.argsOverride or {}));
  25. linux_opi3 = pkgs.callPackage linux_opi3_pkg{};
  26. in
  27. pkgs.recurseIntoAttrs (pkgs.linuxPackagesFor linux_opi3);
  28. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement