HomeIsabelle/Phabricator

When exporting an object file on X86/64 separate the constants from the code.

Description

When exporting an object file on X86/64 separate the constants from the code. This will remove any absolute
addresses from the code area and should allow it to be position-independent. It requires the new format for
code cells and assumes that the export areas for the code and constants are within 4Gbytes of each other.

Details

Provenance
dcjmAuthored on Nov 4 2020, 8:17 AM
Parents
rPOLYMLff5644635c7e: Merge branch 'master' into OriginalBoot
Branches
Unknown
Tags
Unknown