FPGA IP cores for the Antikernel OS, intended to be included as a submodule in SoC integrations - View it on GitHub