I am posting my proposal to port
Fayalite to the
OrangeCrab and later
Arctic Tern FPGA boards. I have used the OrangeCrab to run Microwatt (with Linux and Micropython) with a maze-game written by
Jacob Lifshay some years ago. Now I am part of the
Libre-Chip project and also doing my own hardware projects using KiCad.