Search guix IRC channel logs

These are the channel logs matching your query risc

2025-11-15[12:29:07] <zaphod> GNU Hurd with guix on RISC-V hahaha
2025-11-15[12:33:03] <ekaitz> I tried to port it to RISC-V but starting was very hard so I gave up
2025-11-07[19:17:39] <Rutherther> defuser28: you can see through "file a.out" that it's an executable for risc-v architecture. Linked against glibc etc. etc., meaning it's of course meant for targets running linux, not bare metal
2025-07-16[22:30:52] <xtls> So, are you saying that the RISC-V machine is working properly? and x86 may not?
2025-07-16[22:32:43] <ekaitz> in risc-v it should work, because we spent a looooong time with it
2025-06-26[22:51:44] <bavier> Maybe Guix wants to apply for a RISC-V devboard? https://riscv.org/developers/boards/
2025-06-03[22:32:08] <pastor> Gracias ekaitz! PD: me gust�� leer tus blogs sobre tu trabajo con el bootstrap de RISC-V
2025-06-03[22:33:54] <pastor> Don't worry, I understand. I'm actually very greatful that we have you in this comunity. I really want to see more Guix + RISC-V!
2025-04-04[19:05:46] <ieure> I would like RISC-V to succeed, hardware isn't there yet.
2025-03-30[18:29:57] <dcunit3d> does guix run on Orange Pi? it's a RISC RK3588, 64-bit
2025-03-30[18:36:44] <dcunit3d> probably somewhat difficult to work with, for now (unsure of OBS/gstreamer builds on RISC; things like that)
2025-03-30[18:38:11] <dcunit3d> anyways, i just heard of them. I'm working with a Robotics team that has got one of them. I've never used RISC at all though.
2025-03-19[03:20:32] <ieure> Def. would be nice to run a fully Free RISC-V system, but, nothing like that out there.
2025-03-19[03:41:24] <emacsomancer> (yeah, even on a RISC-V system, fully-free is hard. e.g., maybe you can have free software sata controllers, but it's not a given. https://www.chipsalliance.org/news/sata-design-implementation-on-fpgas-with-open-source-tools/ )
2025-03-18[23:57:52] <sneek> vagrant_, efraim says: come join us in #guix-risc-v :)
2025-03-12[22:41:05] <ieure> RISC-V is probably the closest we're going to get to truly free hardware. Any Intel/AMD CPU has non-removable non-free components.
2025-03-12[22:41:30] <ieure> I don't believe there is a daily-driveable RISC-V machine.
2025-01-11[14:57:18] <mightysands> Hi, I'm reading about guix for the first time and it seems pretty interesting as an OS. I'm a Slackware Linux user atm but am considering other OS's to use when I get a new RISC-V server. I like how Guix seems highly extensible and cutomisable to the user's needs while retaining simplicity, especially in its' init systems, but I was wondering about two things: 1. What's this I hear about guix requiring greater amounts of disk space than
2025-01-08[18:06:45] <dhoffman> ekaits and/or efraim: are the risc-v `make check` tests supposed to take a long time to finish? i have the wip-riscv-bootstrap branch checked out and followed the building from git instructions up to make check (building in the guix shell environment provided as an example). just wanting to make sure this is expected behavior
2025-01-08[19:48:34] <dhoffman> ekaitz: misspelled your name with a question about the risc-v enablement effort, not sure if you caught that
2025-01-08[19:49:07] <dhoffman> are the risc-v `make check` tests supposed to take a long time to finish? i have the wip-riscv-bootstrap branch checked out and followed the building from git instructions up
2025-01-07[01:34:35] <dhoffman> i'm interested in helping with the risc-v guix bootstrapping effort (ran across efraim's git repo and took a stab at that, filed a bug report, was directed here for further questions). i have the wip-riscv-bootstrap branch checked out. how would i go about running the bootstrap locally?
2025-01-07[01:35:51] <amano> risc-v boot process hasn't been standardized, yet. ARM boot process hasn't been standardized, yet.
2025-01-07[01:36:40] <amano> I think ARM and RISC-V are still experimental.
2025-01-07[01:37:48] <dhoffman> i'm coming from other low-level RISC-V development efforts. the lack of standardization really shows
2025-01-07[01:41:06] <amano> dhoffman: I think supporting RISC-V and ARM is a fool's errand for operating systems.
2025-01-07[01:46:21] <dhoffman> at this point i'm just curious about the current state of RISC-V support in Guix
2024-12-19[09:24:49] <unmush> plus of course no risc-v, though I don't know if that's on our list yet
2024-12-18[12:03:38] <homo> efraim: I mean there are pine64 star64, pine64 ox64, pinetab-v and roma as hardware with risc-v processor, in arm world there is technical limitation that forces to have separate system image per hardware or else hardware gets physically damaged, is that also true for riscv if there was a single image for all riscv hardware?
2024-12-01[17:57:57] <civodul> efraim: i just checked and ucx���s bistro.h still lists RISC-V, so i���m not sure what to do here
2024-11-26[23:55:55] <noe> ekaitz: congrats on the commit access! your work on risc-v is impressive
2024-11-16[23:35:48] <snamellit> ekaitz: I see a RISC-V release is coming, which hardware is supported?
2024-11-16[23:37:55] <ekaitz> snamellit: i'm compiling a riscv compiler, yes, and I spent the last 3 years on working on RISC-V stuff for guix, too
2024-11-16[23:45:27] <ekaitz> we still don't have releases for RISC-V...
2024-11-15[19:37:31] <ekaitz> efraim: could you please run `make check` on guile's codebase in RISC-V?
2024-10-31[03:20:25] <bavier> ekaitz, efraim: RISE group is sponsoring a "Developer Appreciation Program" for devs who contribute to the RISC-V ecosystem. Request at https://github.com/Rise-dev-appreciation/Rise-dev-appreciation. Share around.
2024-10-27[03:59:44] <dhoffman> i'm taking a stab at bootstrapping for RISC-V and it seems possible but very experimental at this stage
2024-10-22[16:52:52] <Guest3> doubt that risc v will change things, like why should industry allow it
2024-10-11[11:06:38] <Guest0> too restrictive. my problem is that this risc-v laptop I have is quite slow.. so bootstrapping should better use -march=rv64gcv or some such, but I don't want to deal with manual adaptation of every single package in a depth-first fashion
2024-10-11[11:21:54] <civodul> Guest0: i���m not familiar with RISC-V, but perhaps there���s a need for a system type other than riscv64-linux targeting this CPU variant?
2024-10-11[11:32:33] <ekaitz_> Guest0: how are you working in RISC-V btw? (i'm one of the people that made the RISC-V full-source bootstrap)
2024-10-03[22:27:57] <freakingpenguin> futurile: I wish haha, but I don't think Cuirass is doing RISC-V builds yet.
2024-10-03[22:29:24] <futurile> freakingpenguin: oh what will riscv shows as an architecture - I saw riscv64-linux and assumed that was RISC-V
2024-10-03[22:29:31] <freakingpenguin> I know the output hash hasn't changed between the successful build and what I'm doing now. It's a bit spooky because I didn't think I touched RISC-V for a few months, yet there's the build.
2024-09-17[09:36:50] <futurile> Guix Social tonight - good talk by ekaitz on RISC-V bootstrap coming up!
2024-09-17[13:13:31] <fnat> This evening, 6pm BST: Guix virtual meet-up - Guix RISC-V Bootstrap with Ekaitz Zarraga. More info: https://www.meetup.com/guix-london/events/303448758/ https://libreplanet.org/wiki/Group:Guix/PatchReviewSessions2024
2024-08-31[05:49:32] <pabs3> amano: what do you mean by "generic OS images"? (re ARM/RISC-V not having them)
2024-08-30[00:30:06] <amano> It seems ARM and RISC-V are a lost cause. None of them supports arbitrary linux distributions.
2024-08-30[00:47:35] <amano> I guess I will just avoid ARM and RISC-V until they allow generic OS images.
2024-08-30[01:17:12] <amano> I think I'm going to forget about ARM and RISC-V until they accommodate arbitrary OS images...
2024-07-12[16:43:57] <erty> these days, we can also get a RISC-V laptop, not powerfull enough but still, it's opensource
2024-07-12[16:44:48] <PotentialUser-56> I hope RISC-V laptop advance, it's even better than arm from what I've seen.
2024-07-04[03:32:48] <shcv> what's the best way to set up an assembler + linker for risc-v? I'd like to try doing some "bare metal" stuff in qemu
2024-07-04[03:40:04] <freakingpenguin> shcv: https://lists.gnu.org/archive/html/help-guix/2024-05/msg00141.html shows a cross compilation toolchain for aarch64 (arm 64), might be similar for risc-v.
2024-06-17[02:37:39] <freakingpenguin> Oh dang this RISC-V build is going to take way longer than I thought. I think its going through the entire rust bootstrap chain, and with QEMU that'll be at least a week.
2024-05-26[19:36:36] <peanuts> "[PATCH 0/3] RISC-V support to commencement until tcc-boot0" https://issues.guix.gnu.org/68222
2024-04-18[10:30:12] <axioms> Hello, I am curious about the state of risc-v in guix. Has anyone got any experience or information on the Milk-V Pioneer? Would it be able to run guix? I don't know what the driver/firmware situation is as far as blobs or open source firmware are concerned
2024-04-18[10:31:43] <axioms> I've been looking for x86 alternatives to running guix, so far the most libre options I've come across are the Raptor Computing Talos and Blackbird IBM Power9 computers, or the new risc-v computers that are being released
2024-02-13[19:10:18] <jackhill> hey risc-v folks: what do you think of this system: https://www.crowdsupply.com/milk-v/milk-v-pioneer
2024-02-12[23:53:43] <jackhill> hey risc-v folks: what do you think of this system: https://www.crowdsupply.com/milk-v/milk-v-pioneer
2024-01-15[17:15:12] <futurile> RISC���V Bootstrapping in Guix and Live���Bootstrap ( https://fosdem.org/2024/schedule/event/fosdem-2024-1755-risc-v-bootstrapping-in-guix-and-live-bootstrap/)
2024-01-14[17:28:33] <janneke> mwette: folks over at #guix-risc-v are working on that, but they haven't gotten past tcc-boot yet, afaik
2023-12-02[13:11:56] <cmiller> Do those HiFive Unmatched RISC-V boards work without issues on Guix as of firmware/drivers etc.?
2023-12-02[18:08:11] <cmiller> mwette, efraim: Good to know. If RISC-V does not end up like ARM, I am going to buy a RISC-V SBC.
2023-11-12[16:13:26] <lechner> ekaitz / i might ask in #zig about the risc-v target
2023-11-12[16:16:57] <mwette> or ask in #riscv : those peeps are mostly working linux on risc-v
2023-11-03[11:01:12] <gabber> you're very welcome! btw great work you're doing to the RISC-V bootstrap! and congrats to your hackernews frontpage!
2023-10-09[22:55:15] <theesm> the_tubular: have been considering it, even though I'm more interested in RISC-V platforms these days (and am lacking a libre SBC for ARM according to https://www.fsf.org/resources/hw/single-board-computers)
2023-09-23[17:07:54] <gabber> i have this https://termbin.com/njpj guix.scm package definition and use it on a dummy "hello world" C program (in the mentioned hello.c source file). when i build that package with $(guix build -f guix.scm --target=riscv64-linux-gnu) i get a x86-64 ELF ...? is this a bug? i'd expect a RISC-V 64bit ELF...
2023-09-17[11:54:37] <geri> *cries in no good risc-v laptops*
2023-09-07[11:00:44] <civodul> the texlive issue is on RISC-V, right?
2023-08-31[06:03:41] <apteryx> Its own (Power9, which is a RISC); it's a totally free specification managed by the OpenPOWER foundation
2023-08-27[19:57:49] <geri> at least risc-V is a thing, let's hope it's gonna dominate in the future
2023-08-25[18:48:23] <mwette> Does guix or guix system build for risc-v?
2023-08-11[12:39:18] <nckx> Does ���guix shell��� not build a RISC-V output at all?
2023-07-21[04:58:21] <juliana[m]> i've been hanging around in the guix-risc-v channel
2023-06-27[16:28:29] <Cairn> ekaitz: Most of your RISC-V blog posts go over my head, but I'm learning a little. Super interesting.
2023-06-26[15:45:56] <ekaitz> also, anyone who is interested on RISC-V bootstrapping is invited to join us
2023-06-26[15:57:56] <Cairn> ekaitz: By the way, what sort of RISC-V hardware would an interested Guix user actually get? What do you use?
2023-06-26[15:59:53] <Cairn> Your mind is the RISC-V hardware o_O
2023-06-26[16:03:18] <AwesomeAdam54321> efraim: How much effort is it to add RISC-V support to all the compilers that don't have it in the bootstrap chain?
2023-06-26[17:59:31] <juliana[m]> ekaitz where does one sign up to assist with the RISC-V effort? I've done some RISC-V compiler stuff in the past
2023-06-24[22:33:58] <Guest28> how good would gnu guix run on a risc v sbc?
2023-06-15[23:34:07] <civodul> ieugen[m]: there are various projects floating around: GNU/Hurd, RISC-V port + bootstrapping, p2p substitute distribution, the famous daemon rewrite in Guile
2023-05-29[22:40:50] <ekaitz> just for everyone to know what are we talking about: I got more funding from NlNet + NGI assure to work on the RISC-V bootstrapping
2023-05-25[11:55:33] <next4th> cbaines: seems my risc-v agent always downloading guix-packages-base from bordeaux, and timeout :\
2023-05-17[10:33:40] <cbaines> I've retasked rochor (the RISC-V SiFive Unmatched board I have) and got it building more things, and trying to build the prometheus node exporter, so we'll see how far it gets with that
2023-04-26[20:58:00] <lilyp> well, there's always the sliver of hope that risc v will magically fix things
2023-04-26[21:00:51] <unmatched-paren> https://drewdevault.com/2022/01/15/2022-01-15-The-RISC-V-experience.html <- this seems to suggest as much; they used an ARM GPU with their riscv board
2023-04-22[19:59:32] <bjc> i wish there were cheaper risc-v boards. every time i go to look at it, i get sticker shock. i think si-five's stuff is the cheapest for a desktop-equivalent system, and it's still way too much for me
2023-04-07[16:31:20] <mwette> pine64 is releasing a RISC-V tablet, needs an OS though ... https://liliputing.com/pinetab-v-is-a-159-tablet-with-a-risc-v-processor-and-virtually-no-software-support/
2023-02-24[10:33:59] <civodul> efraim: hey! an HPC colleague says they're happily running RISC-V VMs built with "guix system image --target=riscv64-linux-gnu", crazy stuff :-)
2023-02-24[10:35:12] <civodul> the enthusiasm about RISC-V seems to be propagating
2023-02-18[13:25:29] <nckx> RISC-V would also be nice, although I can't say if it's better to wait until the porting effort is further along.
2023-02-18[13:26:20] <nckx> (Assuming RISC-V prices follow the curve of major arches; maybe they don't.)
2023-02-18[13:28:31] <nckx> jpoiret: I stopped short of suggesting a ���shared��� RISC-V machine because maybe there already is one, I didn't actually check ���� Maybe one of the porters is handing out SSH access. Maybe not.
2023-01-28[10:37:26] <lilyp> https://logs.guix.gnu.org/guix/search?query=risc
2023-01-20[12:53:18] <ekaitz> jonsger: we don't have it yet, but it will be risc-v
2023-01-18[14:37:34] <Fd9a> Hi. Has anyone already run Guix on VisionFive 2 RISC-V board? I'm trying to build an image, but a strange error appears - error: wsl2-image-type: unbound variable. I run: guix time-machine -C channels-vf2.scm -- system image --image-type=visionfive2-raw ~/dotfiles/magi/system/kokuou.scm --system=riscv64-linux. For the build I use the wip-riscv branch, where wsl2-image-type is not defined. I don't understand where this error is coming
2022-11-04[15:32:51] <tricon> nckx: i feel ya. i'd quite like to get into ARM/RISC-V archs; but at this moment, i feel more inclined to hack on x64 Hurd than work with other archs at that level. of course, there's so much work to do on x86 Hurd as-is.