On Wed, Nov 23, 2016 at 08:49:44PM +0100, Patrick Wildt wrote: > > $ MACHINE=armv8 armmake64-aarch64 -f Makefile.arm64 > > Please call it arm64. We should distinquish between 32 and 64-bit ARMs > now. Yes, the other one is called armv7, but that's just how it is. > > Typically the ports are called arm64, while the compiler toolchain > targets are aarch64. > > MACHINE -> arm64 > MACHINE_ARCH -> aarch64
ok -- as long as we stick to these consistent names > > I've put this in the armv7 directory pending a proper > > armv8/aarch64/arm64 one. > > Yes, as long as there's no sys/arch/arm64 this would be the only place > it could really be. I would be okay with having this in that directory > for now. > > Is there a reason you copied the C files to a 64-bit version? I am assuming that arch/aarch64 will have its own stand/efiboot directory and that these files will be copied anyway. If you'd like, I can generate a patch that instead uses preprocessor macros instead of copied files. Ian