antikernel-ip FPGA IP cores for the Antikernel OS, intended to be included as a submodule in SoC integrations