On Tue, Mar 07, 2023 at 08:35:33PM -0000, Tanvi Sheth wrote:
hello,
I have followed all the steps in the said document.
Can you please elaborate on the procedure to get my own server for it, i.e
'https://yourserveraname/'.
Is there something I'm missing out on?
Thats the server you are setting up.
So, whatever ip address or hostname the server that is serving as the
koji hub has. If you don't specify it reaches out to the fedoraproject
koji, which has no idea about your setup.
The current Koji-Risc-v is for compressed instruction set i.e
rv64IMAFDC, we're trying to create one for rv65IMAFD.
ok.
I must say the poliferation of instruction sets in riscv is very sad to
see. It's giving me flashbacks to the early arm days. ;(
But thats a side topic, sorry to derail things.
kevin