[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jasper Taylor
Subject: Re: [Feature Request] Is there any plan for RISC-V support?
Date: Thu, 27 Jan 2022 17:22:54 +0000

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!


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
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).


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

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).


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]