I’m trying to fix an issue with my NVMe drive not showing up on my NanoPC-T4 which was recently made functional by @tmountain
(Thanks!). I checked that FriendlyARM has their own distro called FriendlyCore which does detect it and found their fork of kernel:
I’m trying to build that kernel like this:
boot.kernelPackages = pkgs.linuxPackagesFor (pkgs.linux_4_4.override {
argsOverride = rec {
src = pkgs.fetchzip {
url = "https://github.com/friendlyarm/kernel-rockchip/archive/3dd9af3221d2a4ea4caf2865bac5fe9aaf2e2643.zip";
sha256 = "0x4bfw90bc3diz8763frjscs5sq7lmc4ij03c0vgxr6ahr9axm5c";
};
version = "4.4.179";
modDirVersion = "4.4.179";
};
});
# Fix for Error: selected processor does not support `crc32x w0,w0,x1'
# See: https://github.com/NixOS/nixpkgs/issues/64916
boot.kernelPatches = [{
name = "aarch64-march-fix.patch";
patch = ./aarch64-march-fix.patch;
}];
But it’s failing with the following errors:
../include/drm/drm_edid.h:27:10: fatal error: linux/hdmi.h: No such file or directory
../include/drm/drm_crtc.h:33:10: fatal error: linux/hdmi.h: No such file or directory
And I’m not sure how I’m supposed to provide the missing header.
I was looking at pkgs/os-specific/linux/kernel/generic.nix
but I can’t seem to find anything that matches what I need.