From aca7042069b59a296c4ea2055ae0746eae8ce3a7 Mon Sep 17 00:00:00 2001
From: Jared Baur <jaredbaur@fastmail.com>
Date: Thu, 3 Aug 2023 23:32:04 -0700
Subject: [PATCH] lib/systems: Add rustc config for aarch64-embedded

The target aarch64-none-elf is not a valid rustc target, use
aarch64-unknown-none instead.
---
 lib/systems/examples.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/systems/examples.nix b/lib/systems/examples.nix
index 8d9c09561ddb..57d1c2e9cac3 100644
--- a/lib/systems/examples.nix
+++ b/lib/systems/examples.nix
@@ -206,6 +206,7 @@ rec {
   aarch64-embedded = {
     config = "aarch64-none-elf";
     libc = "newlib";
+    rustc.config = "aarch64-unknown-none";
   };
 
   aarch64be-embedded = {