| 8 Jul 2022 |
 Alyssa Ross | if I get a chance over the weekend I'll try to update linux_testing or whatever it's called and report back. | 17:33:32 |
 matthewcroughan - nix.how | Alyssa Ross: https://github.com/NixOS/nixpkgs/pull/180750 | 17:36:17 |
| matthewcroughan - nix.how | here you go :D | 17:36:20 |
| Alyssa Ross | Will look at it when I can. | 17:36:48 |
| matthewcroughan - nix.how | Btw what would be required to get https://github.com/NixOS/nixpkgs/pull/168826 merged? | 17:37:53 |
| matthewcroughan - nix.how | Would the removal of the vendor specific kernel be required? | 17:38:10 |
| matthewcroughan - nix.how | In which case, I can fork it and do that work, since the original author seems busy/unresponsive | 17:38:30 |
| matthewcroughan - nix.how | And of course add a short term solution to nixos-hardware | 17:38:47 |
| matthewcroughan - nix.how | But I will definitely need your help with either the code-etiquette or the merging. | 17:39:08 |
| matthewcroughan - nix.how | * But I will definitely need your help with either the code-etiquette or the merging. | 17:39:10 |
| Alyssa Ross | Possibly it doesn't make sense to move the sd-card stuff to nixos-hardware as well, since (I assume) it wouldn't be too useful without the vendor kernel? | 17:42:54 |
| Alyssa Ross | Apart from that I don't have any other objections, but I would want a committer who understands the RISC-V situation better than I do to make the final decision. | 17:43:21 |
| matthewcroughan - nix.how | Zhaofeng Li: can you comment on the PR? | 17:44:35 |
 linear | does nix currently work on netbsd | 17:53:12 |
| Alyssa Ross | linear: you can cross-compile to NetBSD, but I don't think Nix works natively on NetBSD | 17:54:01 |
| Alyssa Ross | (but it could, with some effort — I just ran out of energy for it before I got that far) | 17:54:21 |
| matthewcroughan - nix.how | In reply to @qyliss:fairydust.space
Possibly it doesn't make sense to move the sd-card stuff to nixos-hardware as well, since (I assume) it wouldn't be too useful without the vendor kernel? So are you suggesting there that it might be okay to leave the vendor kernel in? | 18:07:39 |
| Alyssa Ross | no | 18:07:48 |
| matthewcroughan - nix.how | So what should we do about the fact that the board is useless without the vendor kernel? | 18:07:59 |
| matthewcroughan - nix.how | Well, that's not entirely true | 18:08:07 |
| matthewcroughan - nix.how | can we default it to fetch from nixos-hardware? Is that IFD? | 18:08:14 |
| Alyssa Ross | We went through this last time | 18:08:28 |
| Alyssa Ross | No you cannot | 18:08:30 |
| matthewcroughan - nix.how | can we have vendor kernels in nixpkgs, as long as they are nothing more than fetches from nixos-hardware? | 18:08:33 |
| Alyssa Ross | The user needs to use nixos-hardware | 18:08:36 |
| matthewcroughan - nix.how | Can we assert or throw a trace when the user tries to build the sdImage then? | 18:08:56 |
| matthewcroughan - nix.how | A trace that suggests using nixos-hardware | 18:09:07 |
| Alyssa Ross | My suggestion was to put the sdImage NixOS config stuff in nixos-hardware as well | 18:09:12 |
| matthewcroughan - nix.how | Do you think that's the right approach generally for sd images? | 18:09:29 |
| matthewcroughan - nix.how | What do you think samueldr ? | 18:09:35 |
