winterflaw has quit [Remote host closed the connection]
winterflaw has joined #riscv
jwillikers has joined #riscv
jwillikers has quit [Remote host closed the connection]
jwillikers has joined #riscv
tgamblin_ has quit [Quit: Leaving]
tgamblin has joined #riscv
aburgess_ has joined #riscv
aburgess has quit [Ping timeout: 252 seconds]
<kaddkaka[m]>
Hello 👋 New at riscv here. Is it possible to run the riscof test suite without a reference model and get _some_ test value? It seems like the ´validateyaml` needs `ReferencePlugin` in the `config.ini` file
<kaddkaka[m]>
s/´/`/, s///, s///
frost has quit [Quit: Connection closed]
___nick___ has joined #riscv
<kaddkaka[m]>
I'm having some problem installing sail because of the ocaml/ocaml dependencies. It seems like https://github.com/riscv/sail-riscv can be generated into either a C simulator, or an oCaml simulator, is that correct?
<kaddkaka[m]>
s/I'm having some problem installing sail because of the ocaml/ocaml dependencies. It seems like https://github.com/riscv/sail-riscv can be generated into either a C simulator, or an oCaml simulator, is that correct?/I'm having some problem installing sail because of the ocaml/opam dependencies (old ubuntu). It seems like https://github.com/riscv/sail-riscv can be generated into _either_ a C simulator, or an oCaml simulator, is that
<kaddkaka[m]>
correct?/
jacklsw has joined #riscv
<jrtc27>
the sail compiler needs ocaml as it's written in ocaml
<jrtc27>
sail-riscv itself can be compiled either to C or to OCaml
<jrtc27>
the C emulator is generally what people want
aburgess has joined #riscv
balrog has quit [Ping timeout: 252 seconds]
aburgess_ has quit [Ping timeout: 252 seconds]
BOKALDO has quit [Quit: Leaving]
aburgess_ has joined #riscv
aburgess has quit [Ping timeout: 265 seconds]
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #riscv
<kaddkaka[m]>
Is it possible to get the C emulator without installing ocaml?
<jrtc27>
no, you need ocaml to run the compiler
<kaddkaka[m]>
ok, I have 4.05.0 but I'm afraid it's too old ..
BOKALDO has joined #riscv
<kaddkaka[m]>
Hmm, what compiler is that?
<kaddkaka[m]>
s/I'm having some problem installing sail because of the ocaml/ocaml dependencies. It seems like https://github.com/riscv/sail-riscv can be generated into either a C simulator, or an oCaml simulator, is that correct?/I'm having some problem installing sail because of the ocaml/opam dependencies (old ubuntu). It seems like https://github.com/riscv/sail-riscv can be generated into _either_ a C emulator, or an oCaml emulator, is that correct?/
<jrtc27>
I assume you're editing your message in matrix?
<kaddkaka[m]>
riscv -> some sail representation?
<jrtc27>
that shows up as s/old message/new message/ in IRC which is really ugly
<jrtc27>
what version of Ubuntu are you on?
<kaddkaka[m]>
s/Hmm, what compiler is that?/Is that a compiler for riscv -> some sail representation?/
<kaddkaka[m]>
New message: Is that a compiler for riscv -> some sail representation?
<kaddkaka[m]>
18.04
<jrtc27>
"the compiler" == sail, to compile the sail-riscv model ("riscv model written in the sail language")
<jrtc27>
18.04 can work you just need to download a newer opam
<jrtc27>
my work machine is 18.04
<kaddkaka[m]>
Yeah I tried install a newer opam (4.12.0) but having some problems. Also I'm on an air-gapped workstation, so stuff like `opam init` does not work since I don't have access to `ocaml.org` :/
<kaddkaka[m]>
For my purpose an already compiled sail-riscv model. But that doesn't seem to exist
<kaddkaka[m]>
(And you were right about me editing my message in element/matrix, I will avoid it)
<jrtc27>
so why don't you just compile it on another machine then?
<kaddkaka[m]>
That would be a windows computer, maybe that's more doable anyways.
<kaddkaka[m]>
Or we should setup a Linux machine with internet access... 🤔
kaezone has joined #riscv
<jrtc27>
WSL should work fine
<kaezone>
howdy - sorry to bother if this isn't the right place, or if it's a frequent question - is anybody aware of a supplier that sells SiFive M-series silicon in low quantities? the LoFive dev board is pretty interesting, but i'd rather not have to buy a few just to pull the SoC off
<kaezone>
(meant E-series) looks like they've got the FE310-G002 on CrowdSupply, no E2-series though unfortunately
aburgess has joined #riscv
aburgess_ has quit [Ping timeout: 265 seconds]
<kaddkaka[m]>
<jrtc27> "WSL should work fine" <- I could try that. Never done cross-compiling
<jrtc27>
it's not cross-compiling
<jrtc27>
it *is* running Linux just either on top of or automatically next to Windows
<jrtc27>
(depending on the version)
<kaddkaka[m]>
Hmm ok, so the compiled binary should be runnable on the real Ubuntu machine. Thanks.
kaezone has quit [Quit: Client closed]
aburgess has quit [Remote host closed the connection]
aburgess has joined #riscv
aburgess_ has joined #riscv
aburgess has quit [Ping timeout: 265 seconds]
mahmutov has joined #riscv
jacklsw has quit [Quit: Back to the real life]
aburgess_ has quit [Remote host closed the connection]
valentin has quit [Quit: Leaving]
jjido has joined #riscv
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
jjido has joined #riscv
Nartim has quit [Quit: Leaving]
jjido has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
compscipunk has quit [Quit: WeeChat 3.2.1]
zjason` has joined #riscv
zjason has quit [Ping timeout: 245 seconds]
marcj has quit [Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in]
BOKALDO has quit [Quit: Leaving]
aburgess has joined #riscv
marcj has joined #riscv
Ivii has joined #riscv
jamtorus has joined #riscv
jellydonut has quit [Read error: Connection reset by peer]