Re: [Feature Request] Is there any plan for RISC-V support?

[Jasper Taylor]

Hi Jeffrey,

I’ve now added my own rsa public key to my GitHub account jal-frezie

I am happy for you to use it to create an account for me on your RISC-V board. I prefer the username jaspert . It will be good to be able to login without typing a password!

Cheers

Jasper

On 27 Jan 2022, at 16:39, panrz@zju.edu.cn wrote:

Hi Daniel and Jasper,

It's uplifting for us to know that you are willing to add RISC-V support for GNU-Prolog.

Currently, our RISC-V boards use an automated account management mechanism. It fetches ssh public keys from GitHub accounts (github.com/<username>.keys) when adding new accounts. If I'm not mistaken, Daniel's GitHub account is didoudiaz? Would it be OK to create an account using pub keys retrieved from github.com/didoudiaz.keys?

Yours, Jeffrey Pan (XieJiSS)

-----original email-----
sender:"Daniel Diaz" <Daniel.Diaz@univ-paris1.fr>
send-at:2022-01-24 23:54:25 (星期一)
receiver: "Jasper Taylor" <jasper@simulistics.com>, panrz@zju.edu.cn, bug-prolog@gnu.org
cc:
topic: Re: [Feature Request] Is there any plan for RISC-V support?

Hi Jeffrey and Jasper,

thank you for your proposal Jasper. I suppose arm64_any.c is a good starting point. As usually, let me know if you need some help.

Jeffrey I'm interested in an account on your machine via ssh ('diaz' as id would be nice).

Daniel

Le 1/24/22 à 1:23 PM, Jasper Taylor a écrit :

Hi Jeffrey,

I would be happy to take a look at porting Gnu-Prolog to the RISC-V architecture. I also worked on the arm ports recently so I have a good idea how to get started.

Best wishes

Jasper

On Sun, 2022-01-23 at 02:36 +0800, panrz@zju.edu.cn wrote:

Dear developers,

Greetings! I've noticed that recently, the GNU prolog is ported to armv6, armv7 and aarch64. Would it be possible for the prolog developers to add support targeting RISC-V (riscv64gc, specifically) architecture? Or, is there any future plans regarding this topic?

If you are interested, we can provide SSH access to riscv64gc development boards (SiFive Unmatched boards) to help debug, test and deploy with CI (see: ci.rvperf.org, where we host riscv64 CI for Node.js & Chromium V8).

Thanks!

Additional information:

uname -a: Linux ubuntu 5.11.0-1023-generic #24-Ubuntu SMP Thu Nov 11 12:41:49 UTC 2021 riscv64 riscv64 riscv64 GNU/Linux

GNU Prolog version: 1.5.0 (latest stable), build failed on riscv64gc

Yours, Jeffrey Pan @ PLCT Lab