HomeIsabelle/Phabricator

Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions.

Description

Support for 32-in-64 build for ARM64. Use Word32.word for ARM instructions.

Details

Provenance
dcjmAuthored on Mar 25 2021, 1:10 PM
Parents
rPOLYMLbacceee0b3e2: Bootstrap file for 32-bits with support for ARM64 enter-int instructions.
Branches
Unknown
Tags
Unknown