Support KERNEL_ARCH for AArch64
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Sun, 28 Oct 2012 16:40:35 +0000 (17:40 +0100)
committerPeter Korsgaard <jacmet@sunsite.dk>
Fri, 2 Nov 2012 20:08:50 +0000 (21:08 +0100)
commitb90a10303e459dd288d434b27fc1e688ff94afba
tree4658ac3d28e7a04e7c98815c48b12fd605f05168
parentd27e09a71ae68d141ba6eb0fc64f9eb03a734727
Support KERNEL_ARCH for AArch64

The architecture tuple is 'aarch64', but the kernel people decided to
call it 'arm64', so we have to do some mungling to get the kernel
architecture name from the Buildroot architecture name.

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Makefile