commit f1bbf34afe99a9a0470917b76cfb22abb46af7da
author Philipp Schrader <philipp.schrader@gmail.com> Sat Feb 05 14:30:15 2022 -0800
committer Philipp Schrader <philipp.schrader@gmail.com> Sun Feb 06 13:25:19 2022 -0800
tree c9f49fc35397bff323b560411ee2d6724d585d45
parent 7704756f30436a31a2e7f6f2377f61403f5ac532

Add arm64 support

This patch adds `--config=arm64` and `--cpu=arm64` flags for users to
compile for the 64-bit version of the Raspberry Pi.

The existing 32-bit ARM build should still work. This patch only adds
additional 64-bit capabilities. Future patches can remove 32-bit
support.

Eigen needed some tweaks because we have `LDBL_MANT_DIG` of 113 on
arm64. None of the code paths that used the parameters `U` and `V`
actually gets compiled in. Adding `[[maybe_unused]]` fixed the error.

Signed-off-by: Philipp Schrader <philipp.schrader@gmail.com>
Change-Id: Ibf919b2964fe971769449a1c556c13e3bf1d48e9

platform_mappings

diff --git a/platform_mappings b/platform_mappings
index 04f55df..1816850 100644
--- a/platform_mappings
+++ b/platform_mappings
@@ -15,6 +15,9 @@
   //tools/platforms:rp2040
     --cpu=rp2040
 
+  //tools/platforms:linux_arm64
+    --cpu=arm64
+
 flags:
   --cpu=k8
     //tools/platforms:linux_x86
@@ -30,3 +33,6 @@
 
   --cpu=rp2040
     //tools/platforms:rp2040
+
+  --cpu=arm64
+    //tools/platforms:linux_arm64