Up – Package index » linksem » Library linksem_zarith » Abi_amd64_serialisation

Module `Abi_amd64_serialisation`Source

abi_amd64_serialisation contains code for producing an AMD64 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.