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
diff --git a/.bazelrc b/.bazelrc
index c41b14b..1c6dbde 100644
--- a/.bazelrc
+++ b/.bazelrc
@@ -24,6 +24,7 @@
build:k8 --platforms=//tools/platforms:linux_x86
build:roborio --platforms=//tools/platforms:linux_roborio
build:armv7 --platforms=//tools/platforms:linux_armv7
+build:arm64 --platforms=//tools/platforms:linux_arm64
build:cortex-m4f --platforms=//tools/platforms:cortex_m4f
build:rp2040 --platforms=//tools/platforms:rp2040