diff --git a/src/agent/.cargo/config b/src/agent/.cargo/config
new file mode 100644
index 0000000000..e2c49b02fd
--- /dev/null
+++ b/src/agent/.cargo/config
@@ -0,0 +1,11 @@
+## Copyright (c) 2020 ARM Limited
+##
+## SPDX-License-Identifier: Apache-2.0
+##
+
+[target.aarch64-unknown-linux-musl]
+## The __addtf3, __subtf3 and __multf3 symbols are used by aarch64-musl,
+## but are not provided by rust compiler-builtins.
+## For now, the only functional workaround accepted by rust communities
+## is to get them from libgcc.
+rustflags = [ "-C", "link-arg=-lgcc" ]