Up – Package index » linksem » Library linksem_num » Abi_mips64_serialisation

Module `Abi_mips64_serialisation`Source

abi_mips64_serialisation contains code for producing an MIPS64 conformant * ELF file from executable (machine) code. * Used in ongoing experiments with CakeML. * * XXX: experimental, and outdated. Commented out for now until attention turns * to CakeML again.