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
esv has quit [Remote host closed the connection]
esv has joined #fedora-riscv
esv has quit [Remote host closed the connection]
esv has joined #fedora-riscv
esv has quit [Remote host closed the connection]
esv has joined #fedora-riscv
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
iooi has quit [Quit: iooi]
iooi has joined #fedora-riscv
<davidlt> uh, seems they will have some fun with bring up board
<davidlt> I am surprised with socket choice
<davidlt> I mean it's not BGA
<davidlt> ah, it's PPL is 1.2GHz, SDRAM mentioned
<davidlt> rwmjones_, it sounds that OCaml is basically good to go?
<rwmjones_> davidlt: yes, all done now!
<davidlt> rwmjones_, ok, I will look into it in nearest days
zsun has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
tibbs has quit [Remote host closed the connection]
tibbs has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
zsun has quit [Quit: Leaving.]
davidlt has quit [Quit: Leaving]
davidlt has joined #fedora-riscv
davidlt has quit [Remote host closed the connection]
davidlt has joined #fedora-riscv
davidlt has quit [Ping timeout: 256 seconds]