IIT Madras is running OCaml/#MirageOS straight on their Shakti RISC-V CPU!
“As a first step, we have managed to get OCaml programs to run on directly on top of the Shakti processor running in simulation under QEMU and Spike ISA simulators...”
“... next step will be getting the code to run on a Shakti softcore on an FPGA. ... we will also be targeting the $100 Arty A7 hobbyist board and release all of the software under liberal open-source licenses.”
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!