dgilmore changed the topic of #fedora-riscv to: Fedora on RISC-V https://fedoraproject.org/wiki/Architectures/RISC-V || Logs: https://libera.irclog.whitequark.org/fedora-riscv || Alt Arch discussions are welcome in #fedora-alt-arches
fuwei has joined #fedora-riscv
fuwei has quit [Ping timeout: 260 seconds]
oaken-source has quit [Ping timeout: 255 seconds]
oaken-source has joined #fedora-riscv
fuwei has joined #fedora-riscv
fuwei has quit [Ping timeout: 258 seconds]
fuwei has joined #fedora-riscv
fuwei has quit [Ping timeout: 258 seconds]
davidlt has joined #fedora-riscv
pbsds has quit [Quit: The Lounge - https://thelounge.chat]
pbsds has joined #fedora-riscv
rwmjones has quit [Server closed connection]
rwmjones has joined #fedora-riscv
davidlt has quit [Ping timeout: 255 seconds]
oaken-source has quit [Ping timeout: 255 seconds]
oaken-source has joined #fedora-riscv
davidlt has joined #fedora-riscv
<davidlt> rwmjones, FYI, I am almost done with Ocaml 5.1 in F40
<davidlt> So far everything looks OK
<rwmjones> cool
<rwmjones> I think I test built the ocaml RPM (only) on RISC-V
<rwmjones> that has some tests
<rwmjones> but I didn't check anything else
<rwmjones> the old riscv64 backend was pretty solid (once we fixed a few bugs in it)
<rwmjones> I don't know if the new backend is just the old backend with some minor changes or a rewrite
<rwmjones> I sort of assume it must be the first one
<rwmjones> also it still doesn't choose compressed instructions properly
<davidlt> rwmjones, mostly likely I will have v6.5.12 (once it's out) for F38 (with non-EFI kernel)
<rwmjones> ok
<davidlt> also, you should join Matrix ;)
<davidlt> There is more talk happening on the Matrix side
<rwmjones> yup
<rwmjones> need to find the plugin
<davidlt> btw, we have passed 50% mark on f40 content
<rwmjones> cool!
rwmjones has quit [Ping timeout: 246 seconds]
rwmjones has joined #fedora-riscv
<davidlt> LPC 2023 - RISC-V MC - James River Salon A
<rwmjones> thanks
fuwei has joined #fedora-riscv
davidlt has quit [Ping timeout: 260 seconds]
fuwei has quit [Ping timeout: 240 seconds]