Where is the Pi 4 image build instructions?

Help
1

https://nix.dev/tutorials/nixos/installing-nixos-on-a-raspberry-pi

Where are the build instruction for that image?

I have problems getting my own build to startx, so I’d like to inspect something that claims to work;)

2

Hmm, it seems this image doesn’t include Xorg. Is that right?

I booted it and it booted to tty.

3

yes, that’s correct (I think) - after installing you could add services.xserver.desktopManager.xfce.enable = true to the config and do a nixos-rebuild switch

4

Right, but is there any way to find the build instructions for this image?

5

I’m not sure that’s the exact one used but it’d be in nixpkgs repo I’d think or in that dir somewhere

6

ok, I figured it out

  hardware.raspberry-pi."4".fkms-3d.enable = true;

I needed this line.

7

Nice, where’d you find your answer by chance?

8

Well, actually in the official wiki;)

https://nixos.wiki/wiki/NixOS_on_ARM/Raspberry_Pi

It’s just that I followed this guide;)

https://pablo.tools/blog/computers/nixos-generate-raspberry-images/

1 Like
9

Nice, that’s what I thought. It’s the unofficial user’s wiki but, hey, it does get you want you need. nix.dev needs to get onto this level or present this information somehow - thanks for the links! But I’m still curious where the fkms-3d is actually defined in nix code

edit: I guess here? https://github.com/NixOS/nixos-hardware/blob/7763c6fd1f299cb9361ff2abf755ed9619ef01d6/raspberry-pi/4/modesetting.nix#L4

10

I’m not really sure what you are asking? Where it is defined in the code? You mean where I found it or where the code implementing this feature is?

11

where it’s implemented