sorear changed the topic of #riscv to: RISC-V instruction set architecture | https://riscv.org | Logs: https://libera.irclog.whitequark.org/riscv
aburgess has quit [Ping timeout: 252 seconds]
freakazoid343 has joined #riscv
freakazoid333 has quit [Ping timeout: 252 seconds]
cp- has joined #riscv
Ivii has quit [Remote host closed the connection]
jwillikers has quit [Remote host closed the connection]
jacklsw has joined #riscv
jacklsw has quit [Ping timeout: 260 seconds]
jacklsw has joined #riscv
tgamblin has quit [Remote host closed the connection]
freakazoid12345 has joined #riscv
tgamblin has joined #riscv
freakazoid343 has quit [Ping timeout: 252 seconds]
frost has joined #riscv
jacklsw has quit [Quit: Back to the real world]
frost has quit [Ping timeout: 265 seconds]
frost has joined #riscv
BOKALDO has joined #riscv
frost has quit [Ping timeout: 260 seconds]
frost has joined #riscv
solrize has quit [Read error: Connection reset by peer]
riff-IRC has quit [Remote host closed the connection]
riff-IRC has joined #riscv
BOKALDO has quit [Quit: Leaving]
winterflaw has joined #riscv
jjido has joined #riscv
<pierce> Nope, you're right @kaddkaka, I believe jrtc27 misunderstood. You will need to cross compile to rv64 from your wsl distro
<kaddkaka[m]> Apparently my WSL installation does not want to access internet cleanly either. It fails all connections when trying to install via `apt install`:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/706cd8080a9f5b5fe92c2a1ab218f791ef423a2c)
<kaddkaka[m]> It finds the packages, but actually fetching them fails to connect:
<kaddkaka[m]> `E: Failed to fetch http://archive.ubuntu.com/ubuntu/pool/universe/o/ocaml/ocaml-base-nox_4.08.1-8_amd64.deb Connection failed [IP: 91.189.88.152 80]`
BOKALDO has joined #riscv
<kaddkaka[m]> How come it's so hard to come by pre-compiled releases?
jacklsw has joined #riscv
jedelava has joined #riscv
valentin has joined #riscv
BOKALDO has quit [Quit: Leaving]
crabbedhaloablut has quit [Ping timeout: 276 seconds]
crabbedhaloablut has joined #riscv
hendursa1 has joined #riscv
hendursaga has quit [Ping timeout: 276 seconds]
<pierce> Of ocaml? No idea, but it strikes me as odd that you're using the focal repos
<pierce> Take a swipe at compiling it if you can't get it to install out of the box, or see what the official ocaml docs say on how to best install it
<pierce> Stuff like this probably deserves its own docker image to minimise the pain if everyone is expected to jump through these hoops
pecastro has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
smartin has joined #riscv
BOKALDO has joined #riscv
<kaddkaka[m]> What does focal repo mean?
<kaddkaka[m]> I always hit these bumps, to test my riscv, I need to compile riscv-sail, to compile that I need to compile ocaml. Will see when I get the time, thanks for the help.
<pierce> In this error you have
<pierce> Err:1 http://archive.ubuntu.com/ubuntu focal/universe amd64 ocaml-base-nox amd64 4.08.1-8
<pierce> It mentions that you're using the focal repos
<pierce> Focal is 20.04, but it could be what you're actually running. It's LTS after all.
jacklsw has quit [Quit: Back to the real world]
jacklsw has joined #riscv
<kaddkaka[m]> s/WLS/WSL/
<pierce> Yeah sorry I lost track of how long ago the LTS was, we're already on the H release for Ubuntu
GenTooMan has quit [Ping timeout: 252 seconds]
GenTooMan has joined #riscv
la_mettrie has joined #riscv
GenTooMan has quit [Excess Flood]
GenTooMan has joined #riscv
aburgess_ is now known as aburgess
GenTooMan has quit [Ping timeout: 252 seconds]
GenTooMan has joined #riscv
jellydonut has quit [Read error: Connection reset by peer]
jellydonut has joined #riscv
jedelava has quit [Ping timeout: 252 seconds]
cp- has quit [Ping timeout: 260 seconds]
jedelava has joined #riscv
zjason` is now known as zjason
cwebber has quit [Ping timeout: 245 seconds]
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
frost has quit [Quit: Connection closed]
jwillikers has joined #riscv
jjido has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
TMM_ has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
TMM_ has joined #riscv
jack_lsw has joined #riscv
jacklsw has quit [Ping timeout: 265 seconds]
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #riscv
jack_lsw has quit [Quit: Back to the real life]
jacklsw has joined #riscv
nvmd has quit [Quit: Later, nerds.]
compscipunk has joined #riscv
freakazoid12345 has quit [Read error: Connection reset by peer]
freakazoid12345 has joined #riscv
freakazoid12345 has quit [Read error: No route to host]
freakazoid12345 has joined #riscv
peepsalot has quit [Quit: Connection reset by peep]
hendursaga has quit [Remote host closed the connection]
hendursaga has joined #riscv
cwebber has joined #riscv
cp- has joined #riscv
_whitelogger has joined #riscv
jacklsw has quit [Read error: Connection reset by peer]
mahmutov has joined #riscv
jjido has joined #riscv
freakazoid343 has joined #riscv
freakazoid12345 has quit [Ping timeout: 252 seconds]
freakazoid343 has quit [Ping timeout: 245 seconds]
freakazoid333 has joined #riscv
nvmd has joined #riscv
Narrat has joined #riscv
pecastro has quit [Ping timeout: 252 seconds]
peepsalot has joined #riscv
BOKALDO has quit [Quit: Leaving]
Maylay has quit [Quit: Pipe Terminated]
Maylay has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
GenTooMan has quit [Remote host closed the connection]
GenTooMan has joined #riscv
nvmd has quit [Ping timeout: 265 seconds]
nvmd has joined #riscv
smartin has quit [Ping timeout: 252 seconds]
pecastro has joined #riscv
freakazoid343 has joined #riscv
freakazoid333 has quit [Ping timeout: 252 seconds]
bgamari has quit [Ping timeout: 252 seconds]
bgamari has joined #riscv
greaser|q has quit [Changing host]
greaser|q has joined #riscv
greaser|q is now known as GreaseMonkey
Narrat has quit [Quit: They say a little knowledge is a dangerous thing, but it's not one half so bad as a lot of ignorance.]
jjido has joined #riscv
winterflaw has quit [Ping timeout: 276 seconds]
balrog has quit [Ping timeout: 260 seconds]
compscipunk has quit [Quit: WeeChat 3.2.1]
balrog has joined #riscv
pecastro has quit [Ping timeout: 252 seconds]
nvmd has quit [Quit: Later, nerds.]
jn has quit [Ping timeout: 240 seconds]
vagrantc has joined #riscv