Taneb, 19 days ago

My partner has told me that if I don't get this working by the 11th, they're getting a Disney+ account. I despise giving the Mouse any money. This is my main motivation right now.

Taneb, 19 days ago

I've made something that I think should boot. Before I test it, I'm going to get breakfast.

Taneb, 19 days ago

OK, back to it. Let's see if this turns on.

Taneb, 19 days ago

It gets as far as U-boot and no further. I've gotten this far before, and I'm not sure what I'm doing wrong. Time to think.

Taneb, 19 days ago

I must be putting the wrong thing on the SD card. What I did was build nix build .#nixosConfigurations.chopper.config.system.build.toplevel and copy over the files to some partition. I... don't actually know what that should do, let alone whether it's what I wanted it to do.

mangoiv, 19 days ago

@Taneb what kinda system is that?

mangoiv, 19 days ago

@Taneb some kinda SBC?

Taneb, 19 days ago

@mangoiv yeah, it's a RockPro64

mangoiv, 19 days ago

@Taneb did you see nixos-aarch64-images? Might be a good idea to first get a basic setup running and then use something like nixos-anywhere + disko to attack installing the proper thing. But tbh I’m just guessing 😅

Taneb, 19 days ago

@mangoiv yeah, I've seen it, and I've tried to use it in the past. Something didn't work, but I can't remember what. I was probably trying to be too clever too fast.

mangoiv, 19 days ago

@Taneb packages.aarch64-linux = {
sdcard = nixos-generators.nixosGenerate {
system = "aarch64-linux";
format = "sd-aarch64";
modules = [
self.nixosModules.system
self.nixosModules.users
];
};
};

Do you use this? There’s something weird going on with sd cards, too (for the rpi I just downloaded smth from the hydra) 😅