Currently working on an accurate model of the MIT CADR in VHDL, and merging the various System source trees into one that should work for Lambda, and CADR.
Sounds extremely interesting, any links/feeds one could follow the progress at?
The dream of running lisp on hardware made for lisp lives on, against all odds :)
And of course .. https://tumbleweed.nu/lm-3 .