Hardware Project for platform on which heterogeneousRTOS runs (Vivado project, Verilog HDL) - View it on GitHub