The plan is to get Mirage running on ARM based Soc FPGAs such as the Altera Cyclone V Soc and Xilinx Xynq devices.
I'll keep notes and code in this repository.
We're looking at bringing up FreeBSD on these devices then running a kernel module with Mirage running in it.
After that I'll look at how we can integrate FPGA acceleration into Mirage.