Re: needing an fpga...

Greetings! Just a followup on this old thread. Debian axiom builds and is installed on riscv64: https://buildd.debian.org/status/fetch.php?pkg=axiom=riscv64=20170501-12=1676291249=0 There is no 'relaxation' implemented in the linker at the moment. I have no idea on what performance penalty if

Re: needing an fpga...

Greetings! Doubtless there are many lisp-oriented optimizations possible with the instruction set. GCL, once ported, of course will still go through gcc, so the assembler will by default be somewhat 'generic'. GCL can handle special builtin instructions on a platform specific basis. Take care,

Re: needing an fpga...

Even more interesting, though not on the near-term research, is self-modification. Lisp code is classically able to self-modify. With this architecture, the FPGA can self-modify. The real problems in the near future involve issues like the "power wall", where most of the silicon is turned off to

Re: needing an fpga...

Camm, Greetings, as you say... That would save me a lot of effort. At the moment I've been targeting FORTH because I have a verilog implementation. I'm hoping for a "Lisp all the way to the metal". That way I can move freely between Axiom's SANE implementation, to the RISC-V hard processor and

Re: needing an fpga...

Greetings! I take it this discussion pertains to the same platform as Debian's 'riscv64'. There are virtual machine images which can be run in emulation, but I have been waiting for a porterbox to become available to port gcl. I anticipate the linker will just take a few days. Take care, Tim

Re: needing an fpga...

Tim, I think the board you want is the PolarFire SoC Icicle board. You can find them on the RISC-V Exchange website: RISC-V Exchange - RISC-V International (riscv.org) We will be offering these as our next round of boards that go out. Your project is a great one so

Re: needing an fpga...

Program bugs won't go away until we change a few things. There is a 25 year old effort in proof technology but it is divorced from the lower layers. Since Axiom is a collection of mathematical algorithms it, unlike other software, is well specified. That makes it ideal for proof technology. It