-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Building a NixOS system with the linux_rpi* kernels fails with Module ... not found in directory
#154163
Comments
Caused by: See:
Workaround: The |
Module ... not found in directory
(I took the liberty of renaming the issue to better describe the underlying problem, since I'm likely to refer to it in the future) |
This module should be not included than for rpi4 kernel:
|
Not in a reliable manner, and it's not a raspberry pi issue, but a kernel config difference issue. Even mainline kernels may face such issues. The simpledrm changes we should do to the config will exhibit the same issue, but across different kernel revisions. (Though yeah, the package version can be used to modulate.) Furthermore, I believe this is going to be a game of whack-a-mole to play on every module addition. The semantics about kernel modules in stage-1 were changed in a way that makes them more correct (can't be missing), but this was done without an escape hatch. The more correct solution, I think, would be to move away from lists, which we can't edit, and use an attrset with values indicating "mandatory", "optional", and a value to "remove" an entry (e.g. null). But this would need to be done in a way that is not disruptive to current setups, and that's where I lose steam. |
Unsure if this is the same issue, but I am getting this on rpi3 with ahci
|
I am running into this issue as well and as much as I dont like people posting "this happens to me too", I have a maybe stupid cluster: How does the RPi image get built centrally? I cannot seem to figure out how I can work around this for now, but I'm puzzled by how this works some places? |
@kradalby what do you mean? For now the workaround is, as explained above, to add in the config:
Source: #126755 (comment) |
This issue has been mentioned on NixOS Discourse. There might be relevant details there: https://discourse.nixos.org/t/nixos-raspberry-pi-no-hdmi-during-boot/23100/1 |
This issue has been mentioned on NixOS Discourse. There might be relevant details there: https://discourse.nixos.org/t/rpi4-cant-usb-boot-from-btrfs-with-rpi-kernel/28668/1 |
Fixes the issue raised at NixOS/nixpkgs#154163
NixOS/nixpkgs#154163 Signed-off-by: Jakub Sokołowski <[email protected]>
NixOS/nixpkgs#154163 Signed-off-by: Jakub Sokołowski <[email protected]>
if it turns out we do need it, there is a known workaround for the issue we encountered: NixOS/nixpkgs#154163
Workaround for NixOS/nixpkgs#154163 Thanks @notarock !
Ran into this as well when trying to build the following flake with {
description = "Build RPI image";
inputs.nixpkgs.url = "github:nixos/nixpkgs/nixos-23.11";
outputs = { self, nixpkgs }: rec {
nixosConfigurations.rpi2 = nixpkgs.lib.nixosSystem {
modules = [
"${nixpkgs}/nixos/modules/installer/sd-card/sd-image-raspberrypi.nix"
{
nixpkgs.config.allowUnsupportedSystem = true;
nixpkgs.hostPlatform.system = "armv7l-linux";
nixpkgs.buildPlatform.system = "x86_64-linux";
}
];
};
images.rpi2 = nixosConfigurations.rpi2.config.system.build.sdImage;
};
} |
This issue has been mentioned on NixOS Discourse. There might be relevant details there: https://discourse.nixos.org/t/does-pkgs-linuxpackages-rpi3-build-all-required-kernel-modules/42509/2 |
if it turns out we do need it, there is a known workaround for the issue we encountered: NixOS/nixpkgs#154163
Same issue here by building rpi4 kernel |
This issue has been mentioned on NixOS Discourse. There might be relevant details there: https://discourse.nixos.org/t/fdt-error-notfound-on-device-tree-overlays/54911/2 |
I'm running into a different error when attempting to crosscompile the linux_rpi2 kernel from x86_64 to armv7l:
I do not know if this is the same issue or a different bug affecting the linux_rpi2 kernel, as the suggested overlay posted here does not resolve it. |
I'd say the It's also not necessarily new. |
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:Expected behavior
An image is being produced
Additional context
Seems like it is this issue
Notify maintainers
@samueldr
Metadata
The text was updated successfully, but these errors were encountered: