Re: [Feature Request] Is there any plan for RISC-V support?
Jasper Taylor <[email protected]> Thu, 27 Jan 2022 17:22:54 +0000
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
--Apple-Mail=_B4DB19E2-0635-44E3-A7ED-37121DD8B05C Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Hi Jeffrey, I=E2=80=99ve 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, [email protected] wrote: >=20 > Hi Daniel and Jasper, >=20 >=20 >=20 > It's uplifting for us to know that you are willing to add RISC-V = support for GNU-Prolog. >=20 >=20 >=20 > 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? >=20 >=20 >=20 > Yours, Jeffrey Pan (XieJiSS) >=20 >=20 >=20 > -----original email----- > sender:"Daniel Diaz" <[email protected]> > send-at:2022-01-24 23:54:25 (=E6=98=9F=E6=9C=9F=E4=B8=80) > receiver: "Jasper Taylor" <[email protected]>, [email protected], = [email protected] > cc:=20 > topic: Re: [Feature Request] Is there any plan for RISC-V support? >=20 > 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. >=20 > Jeffrey I'm interested in an account on your machine via ssh ('diaz' = as id would be nice). >=20 > Daniel >=20 > Le 1/24/22 =C3=A0 1:23 PM, Jasper Taylor a =C3=A9crit : >> Hi Jeffrey, >>=20 >> 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. >>=20 >> Best wishes >> Jasper >>=20 >> On Sun, 2022-01-23 at 02:36 +0800, [email protected] = <mailto:[email protected]> wrote: >>> Dear developers, >>>=20 >>> 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? >>>=20 >>> 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). >>>=20 >>> Thanks! >>>=20 >>>=20 >>>=20 >>> Additional information: >>>=20 >>> 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 >>>=20 >>> GNU Prolog version: 1.5.0 (latest stable), build failed on riscv64gc >>>=20 >>>=20 >>>=20 >>> Yours, Jeffrey Pan @ PLCT Lab >>>=20 >>>=20 >>>=20 >>=20 >=20 --Apple-Mail=_B4DB19E2-0635-44E3-A7ED-37121DD8B05C Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 <html><head><meta http-equiv=3D"Content-Type" content=3D"text/html; = charset=3Dutf-8"></head><body style=3D"word-wrap: break-word; = -webkit-nbsp-mode: space; line-break: after-white-space;" class=3D"">Hi = Jeffrey,<div class=3D"">I=E2=80=99ve now added my own rsa public key to = my GitHub account jal-frezie</div><div class=3D""><br = class=3D""></div><div class=3D"">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!</div><div = class=3D""><br class=3D""></div><div class=3D"">Cheers</div><div = class=3D""><span class=3D"Apple-tab-span" style=3D"white-space:pre"> = </span>Jasper<br class=3D""><div><br class=3D""><blockquote type=3D"cite" = class=3D""><div class=3D"">On 27 Jan 2022, at 16:39, <a = href=3D"mailto:[email protected]" class=3D"">[email protected]</a> = wrote:</div><br class=3D"Apple-interchange-newline"><div class=3D""><p = class=3D""> Hi Daniel and Jasper, </p><p class=3D""> <br class=3D""> </p><p class=3D""> It's uplifting for us to know that you are willing to add RISC-V = support for GNU-Prolog. </p><p class=3D""> <br class=3D""> </p><p class=3D""> Currently, our RISC-V boards use an automated account management = mechanism. It fetches ssh public keys from GitHub accounts (<a = href=3D"http://github.com" = class=3D"">github.com</a>/<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 <a = href=3D"http://github.com/didoudiaz.keys?" = class=3D"">github.com/didoudiaz.keys?</a> </p><p class=3D""> <br class=3D""> </p><p class=3D""> Yours, Jeffrey Pan (XieJiSS) </p> <br class=3D""> <br class=3D""> <blockquote name=3D"replyContent" class=3D"ReferenceQuote" = style=3D"padding-left:5px;margin-left:5px;border-left:#b6b6b6 2px = solid;margin-right:0;"> -----original email-----<br class=3D""> <b class=3D"">sender:</b><span id=3D"rc_from" class=3D"">"Daniel Diaz" = <<a href=3D"mailto:[email protected]" = class=3D"">[email protected]</a>></span><br class=3D""> <b class=3D"">send-at:</b><span id=3D"rc_senttime" class=3D"">2022-01-24 = 23:54:25 (=E6=98=9F=E6=9C=9F=E4=B8=80)</span><br class=3D""> <b class=3D"">receiver:</b> "Jasper Taylor" <<a = href=3D"mailto:[email protected]" = class=3D"">[email protected]</a>>, <a = href=3D"mailto:[email protected]" class=3D"">[email protected]</a>, <a = href=3D"mailto:[email protected]" class=3D"">[email protected]</a><br = class=3D""> <b class=3D"">cc:</b> <br class=3D""> <b class=3D"">topic:</b> Re: [Feature Request] Is there any plan for = RISC-V support?<br class=3D""> <br class=3D""> <div class=3D"moz-cite-prefix"> Hi Jeffrey and Jasper, </div><p class=3D""> 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. </p><p class=3D""> Jeffrey I'm interested in an account on your machine via = ssh ('diaz' as id would be nice). </p> Daniel<br class=3D""> <div class=3D"moz-cite-prefix"> <br class=3D""> </div> <div class=3D"moz-cite-prefix"> Le 1/24/22 =C3=A0 1:23 PM, Jasper Taylor a =C3=A9crit :<br class=3D""> </div> <blockquote type=3D"cite" = cite=3D"mid:[email protected]= " class=3D""> <div class=3D""> Hi Jeffrey, </div> <div class=3D""> <br class=3D""> </div> <div class=3D""> 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. </div> <div class=3D""> <br class=3D""> </div> <div class=3D""> Best wishes </div> <div class=3D""> <span class=3D"Apple-tab-span" = style=3D"white-space:pre;"> </span>Jasper </div> <div class=3D""> <br class=3D""> </div> <div class=3D""> On Sun, 2022-01-23 at 02:36 +0800, <a = href=3D"mailto:[email protected]" moz-do-not-send=3D"true" = class=3D"">[email protected]</a> wrote: </div> <blockquote type=3D"cite" style=3D"margin:0 0 0 = .8ex;border-left:2px #729fcf solid;padding-left:1ex;" class=3D""><p = class=3D""> Dear developers, </p><p class=3D""> 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? </p><p class=3D""> 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: <a = href=3D"http://ci.rvperf.org" class=3D"">ci.rvperf.org</a>, where we host riscv64 CI for Node.js & Chromium V8). </p><p class=3D""> Thanks! </p><p class=3D""> <br class=3D""> </p><p class=3D""> Additional information: </p><p class=3D""> 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 </p><p class=3D""> GNU Prolog version: 1.5.0 (latest = stable), build failed on riscv64gc </p><p class=3D""> <br class=3D""> </p><p class=3D""> Yours, Jeffrey Pan @ PLCT Lab </p><p class=3D""> <br class=3D""> </p> </blockquote> <div class=3D""> <br class=3D""> </div> <div class=3D""> <span class=3D""></span> </div> </blockquote><p class=3D""> <br class=3D""> </p> </blockquote></div></blockquote></div><br class=3D""></div></body></html>= --Apple-Mail=_B4DB19E2-0635-44E3-A7ED-37121DD8B05C--