Skip to content

Building a NixOS system with the linux_rpi* kernels fails with Module ... not found in directory #154163

@pstn

Description

@pstn

Describe the bug

Building a sd-image for the raspberry-pi 4 fails with
modprobe: FATAL: Module sun4i-drm not found in directory /nix/store/azccsmgqmvhy8vmdr1f4rcpf1rbxvgx5-linux-5.10.52-1.20210805-modules/lib/modules/5.10.52

Steps To Reproduce

Steps to reproduce the behavior:
run nix-build '<nixpkgs/nixos>' -A config.system.build.sdImage -I nixos-config=./minimal.nix --argstr system aarch64-linux

with minimal.nix being:

{ config, pkgs, lib, ... }:
{

 imports = [
   <nixpkgs/nixos/modules/installer/sd-card/sd-image-aarch64-installer.nix>
 ];
  boot = {
    kernelPackages = pkgs.linuxPackages_rpi4;
  };
}

Expected behavior

An image is being produced

Additional context

Seems like it is this issue

Notify maintainers

@samueldr

Metadata

[user@system:~]$ nix-shell -p nix-info --run "nix-info -m"
- system: `"x86_64-linux"`
- host os: `Linux 5.15.11, NixOS, 22.05 (Quokka)`
- multi-user?: `yes`
- sandbox: `yes`
- version: `nix-env (Nix) 2.5.1`
- channels(philipp): `""`
- channels(root): `"home-manager, nixos, nixos-hardware"`
- nixpkgs: `/nix/var/nix/profiles/per-user/root/channels/nixos`

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions