| 3 Jun 2023 |
raitobezarius | did someone figure out netboot for vf2? | 23:43:16 |
raitobezarius | syslinux seems to be x86_64-linux only? | 23:43:23 |
raitobezarius | # !!! Hack - attributes expected by other modules.
environment.systemPackages = [ pkgs.grub2_efi ]
++ (if pkgs.stdenv.hostPlatform.system == "aarch64-linux"
then []
else [ pkgs.grub2 pkgs.syslinux ]);
| 23:44:04 |
raitobezarius | haha | 23:44:07 |
raitobezarius | what the fresh hell | 23:44:13 |
raitobezarius | I feel Alyssa now when she complains about me doing stupid things for hostPlatform | 23:44:36 |
| 4 Jun 2023 |
raitobezarius | lovely | 00:13:42 |
raitobezarius |  Download image.png | 00:13:43 |
raitobezarius | samueldr: GRUB2 is marked as "working" on RV64GC but it fails with Zifencei requirement during cross compilation, is that expected? | 02:58:58 |
samueldr | I couldn't say | 02:59:41 |
samueldr | I guess you're saying its platforms declaration is bad (which it is imo)
- https://github.com/NixOS/nixpkgs/blob/90385792c887f63cc473c764f801be7a3f3894b6/pkgs/tools/misc/grub/default.nix#L458
| 03:00:23 |
samueldr | good luck compiling grub for armv5tel | 03:00:39 |
raitobezarius | :D :D | 03:02:33 |
raitobezarius | I will see if I can get native compilation going | 03:02:40 |
samueldr | that's part of the great debate about what platforms are | 03:02:53 |