18 Jun 2024 |
Alex | In reply to @rosscomputerguy:matrix.org Didn't realize that More precisely, G is shorthand for IMAFD_Zicsr_Zifencei. | 18:21:37 |
Tristan Ross | Oh, I know zicsr and zifencei | 18:35:38 |
22 Jun 2024 |
| nyanbinary 🏳️⚧️ joined the room. | 01:21:39 |
| throwaway account joined the room. | 05:43:33 |
24 Jun 2024 |
Mic92 | We are just one pull request away from having our first image for nixos-anywhere: https://github.com/NixOS/nixpkgs/pull/321991 | 13:27:36 |
Mic92 | However I currently don't have hardware that I can kexec on, so I would appreciate if someone could run a test of it. | 13:28:08 |
Mic92 | Image itself will be here: https://github.com/nix-community/nixos-images/pull/243 | 13:28:19 |
Pratham Patel (you can mention me) | Oh wow, didn't know we came this far! | 13:29:14 |
Mic92 | nix-community.cachix.org will than also cache some core-components for cross compiling NixOS from x86 to riscv64. | 13:29:20 |
Pratham Patel (you can mention me) | *we've come | 13:29:20 |
[0x4A6F] | Currently not near my devices. But it is build and I will check soonish. | 14:04:18 |
| Li-ion changed their profile picture. | 23:17:28 |
25 Jun 2024 |
Tristan Ross | In reply to @joerg:thalheim.io nix-community.cachix.org will than also cache some core-components for cross compiling NixOS from x86 to riscv64. What about cross compiling from aarch64 to riscv64? | 04:20:53 |
@cnx:loang.net | why x86 and aarch64 when amd64 chips with good single thread perf are much more common? | 09:34:12 |
Alex | In reply to @cnx:loang.net why x86 and aarch64 when amd64 chips with good single thread perf are much more common? I'm pretty sure amd64 is what Mic was referring to when they said "x86". | 10:48:28 |
Alex | It's quite a common way of referring to the whole family of x86_64 ISAs. | 10:49:39 |
Pratham Patel (you can mention me) | In reply to @joerg:thalheim.io We are just one pull request away from having our first image for nixos-anywhere: https://github.com/NixOS/nixpkgs/pull/321991 just tried building an iso from an x86 machine and was reminded of https://github.com/NixOS/nixpkgs/issues/231537 | 13:19:29 |
Pratham Patel (you can mention me) | any idea on the blockers on this? maybe I could help? | 13:19:44 |
Pratham Patel (you can mention me) | on rev: 4c547b66635455ad061d4beecaf1805810dc0428 | 13:20:24 |
Mic92 | Pratham Patel (you can mention me): do you have any VM or hardware that has a kernel with kexec enabled? | 13:20:29 |
Pratham Patel (you can mention me) | I'm on an x86 machine, the VF2 is "away" for the time being | 13:20:58 |
Mic92 | We don't build isos in this pull request yet. | 13:21:02 |
Mic92 | In reply to @thefossguy:matrix.org I'm on an x86 machine, the VF2 is "away" for the time being Ok. I have x86. I can potentially spin up some scaleway riscv64 machine. | 13:21:39 |
Pratham Patel (you can mention me) | I realize that. What I'm asking is if you had a list of blockers for bootstrapping riscv64 GHC on x86 | 13:21:40 |
Mic92 | Not sure when I get to it. | 13:21:43 |
Alex | If you're not building any Haskell packages on purpose, you should try disabling ShellCheck (by default, it is used to check all shell scripts). | 13:21:46 |
Mic92 | In reply to @thefossguy:matrix.org I realize that. What I'm asking is if you had a list of blockers for bootstrapping riscv64 GHC on x86 Ah. There it's basically ghc not publishing bootstrap binaries afaik. | 13:22:10 |
Mic92 | Yes. Disabling shellcheck is the way to go. | 13:22:31 |
Alex | In reply to @thefossguy:matrix.org I realize that. What I'm asking is if you had a list of blockers for bootstrapping riscv64 GHC on x86 Nixpkgs generally relies on upstream bindists, but there are a few (as-of-yet unmerged?) PRs to also make it possible to bootstrap via cross. | 13:22:33 |
Mic92 | Can we not also upload our own cross-compiled ghc binary tarball? | 13:23:19 |