Exotic Nix Targets | 346 Members | |
| 108 Servers |
| Sender | Message | Time |
|---|---|---|
| 25 Feb 2022 | ||
| I looked at it before, but concluded it doesn't fit the use case - although they pull in qemu's tcg the SoC itself seems implemented in C#. Guess it'll take slow to a whole new level. | 08:05:28 | |
| Qemu system emulation of one of the virt RISCV targets will be (a lot?) faster. It's a neat project if you have on board peripherals you'd like to emulate (or co-simulate?), though | 08:06:31 | |
| oh I have a Freedom Unleashed sitting unused i’d be happy to contribute to a build farm if it’d be helpful | 09:47:44 | |
| or uh | 09:48:03 | |
| HiFive Unleashed that is | 09:48:13 | |
| wait no sorry its an Unmatched | 09:56:59 | |
| Zhaofeng Li: FYI, I was sponsored a board as well, and it just turned up on my doorstep out of the blue | 12:46:15 | |
| Bonus rant: had to scramble for cash, because apparently UPS over here only accepts cash payments in exact change - it's 2022 after all | 12:55:45 | |
| This is their attempt to only accept card payments without saying they only accept card payments? | 12:58:45 | |
| No, they don't take cards at all. | 13:01:20 | |
| Do they try to get written checks?? Or do they simply hate the world and want the world to feel it? | 13:02:56 | |
| The proof of payment I got sports 2 checkboxes: 'check' or 'cash'. National banks haven't issued any checks since 2002. The only reason it's on there because someone probably translated a US form/procedure. | 13:12:57 | |
🚀 | 16:45:25 | |
| Nice! My sdimage built overnight, but I haven't had a chance to test it yet | 18:45:18 | |
| Also roughly what I got to:
| 19:26:04 | |
The Fedora image boots using UEFI, and the factory U-Boot isn't set up to boot with extlinux.conf with various environment variables like kernel_addr_r are missing. After setting the environments manually I could start the kernel, but we should use UEFI as well. | 19:27:39 | |
| I cheated, it's a cross compiled kernel only (because I still have to build it natively). | 19:27:40 | |
| Yeah, I have been experimenting with UEFI and was thinking the same thing. | 19:28:05 | |
* The Fedora image boots using UEFI, and the factory U-Boot isn't set up to boot with extlinux.conf with various environment variables like kernel_addr_r missing. After setting the environments manually I could start the kernel, but we should use UEFI as well. | 19:28:07 | |
| * Yeah, I have been experimenting with EFI and was thinking the same thing. | 19:28:14 | |
| The sdImage derivation needs some work though, think it would be nice if it could generate an ESP + systemd-boot | 19:29:15 | |
| Yeah, that would be the annoying part. The sd-image generator is very inflexible. | 19:30:23 | |
| I have some half-finished derivation to declaratively specify a partition table for sdImage, but hadn't gotten around to finishing it. | 19:32:59 | |
| For this, we should be collaborating with @samueldr because that's what he's doing in tow-boot. | 19:35:00 | |
| I'm not sure whether he intends to upstream any of that into nixpkgs, though. | 19:35:24 | |
| Right, was not aware | 19:41:20 | |
| Ok, gonna continue tonight | 19:48:40 | |
| So for some reason my standalone cross compiled kernel starts, but the one I yanked out of a sdImage build does not. Same tree, so it must be the config? | 19:56:35 | |
| Might be, how are you generating the initrd in the standalone case? | 22:34:05 | |
| I pushed my expression here: https://github.com/zhaofengli/nixos-riscv64/blob/master/pkgs/linux-visionfive/default.nix | 22:36:37 | |