| 27 Sep 2023 |
 @linear:kity.wtf | you do not need to flash skiboot to the system to use it | 19:12:26 |
| @linear:kity.wtf | in fact, that is not even recommended | 19:12:40 |
| @linear:kity.wtf | until you know it's working well | 19:12:48 |
| @linear:kity.wtf | i have a power9 machine, i don't run NixOS on it. i can test things, but i also don't deal with the firmware stuff much, and i don't know if this just like, produces the image file i can pass to openbmc | 19:13:40 |
 moody | ah okay, thank you. I haven't gotten hardware yet | 19:14:33 |
| @linear:kity.wtf | it would be very nice to eventually have the entire firmware for this board as something i can just get nix to build for me | 19:15:37 |
| moody | what machine do you have specifically? | 19:15:51 |
| @linear:kity.wtf | RaptorCS Blackbird | 19:16:01 |
| moody | https://git.raptorcs.com/git/blackbird-skiboot/ This is their verstion of skiboot for the blackbird I think | 19:16:33 |
| @linear:kity.wtf | yes, i know | 19:16:43 |
| @linear:kity.wtf | i've tried to put the firmware together myself on other distros and not succeeded, and i need modified firmware because i'm using a non-officially-supported cpu so need custom WOF tables | 19:16:50 |
| @linear:kity.wtf | it does not seem to build at all except on whatever version of debian they're using, which i haven't felt like installing | 19:17:08 |
| moody | ah okay | 19:18:45 |
| moody | In reply to @m00dy:matrix.org
https://git.raptorcs.com/git/blackbird-skiboot/ This is their verstion of skiboot for the blackbird I think fwiw I have this building using nixpkgs right now | 20:08:50 |
| moody | as well as the talos one | 20:08:58 |
| moody | In reply to @m00dy:matrix.org
https://github.com/NixOS/nixpkgs/pull/257699 I packaged up skiboot. If this is useful to folks I've updated the pr to include those targets | 21:01:57 |
| 28 Sep 2023 |
| moody | I now have access to an IBM AC922 for other porting work but could also test nix stuff as well | 02:59:55 |
 Puna | In reply to @m00dy:matrix.org
how can I help test these? if you have the hardware + a linux and nix installation then you can checkout the branch and try building i.e. stdenv or hello from it. if you don't have the hardware and/or setup then you can add boot.binfmt.emulatedSystems = [ "powerpc64-linux" ] to the nixos config of some other system and test stdenv or hello with --argstr localSystem powerpc64-linux | 06:03:56 |
| Puna | the latter doesn't really work fully due to emulation-related test failures, but it gets very far along | 06:05:59 |
| moody | In reply to @opna2608:matrix.org
if you have the hardware + a linux and nix installation then you can checkout the branch and try building i.e. stdenv or hello from it. if you don't have the hardware and/or setup then you can add boot.binfmt.emulatedSystems = [ "powerpc64-linux" ] to the nixos config of some other system and test stdenv or hello with --argstr localSystem powerpc64-linux is there something I can get booted up in qemu-system-ppc64? I have access to a machine but it's running ppc64le at the moment | 14:11:48 |
| moody | if nothing else I can give the binfmt stuff a try | 14:56:14 |
| Puna | hmm iunno, not well versed in that stuff… my hardware only supports big-endian so i'm just running this on top of ppc64 debian | 15:51:18 |
| moody | got it, thanks. I'll see what I can get working here | 15:56:35 |
| Puna | In reply to @opna2608:matrix.org
the latter doesn't really work fully due to emulation-related test failures, but it gets very far along for the sake of mentioning the exact failure: it will die on diffutils tests:
FAIL: test-sigsegv-catch-stackoverflow1
=======================================
qemu: uncaught target signal 11 (Segmentation fault) - core dumped
FAIL test-sigsegv-catch-stackoverflow1 (exit status: 139)
works fine on hardware though
| 16:02:10 |
|  @YoshiRulz:matrix.org left the room. | 18:18:13 |
| 29 Sep 2023 |
 fgaz | Try asking in #riscv:nixos.org. I think the vf2 has the best support at the moment | 07:35:54 |
| fgaz | * Try asking in #riscv:nixos.org. I think the vf2 has the best support at the moment | 07:36:18 |
|  Lotte (it/its)/Cinny (she/her) θΔ& changed their profile picture. | 17:15:30 |
| 3 Oct 2023 |
|  pbsds changed their profile picture. | 21:04:53 |
| 4 Oct 2023 |
| pbsds changed their profile picture. | 22:20:41 |
