rust: set default to 1.94.0

Signed-off-by: Krishnan Winter <krishnan.winter@unsw.edu.au>

Author: Kswin01

.github/workflows/sdk.yaml

@@ -43,8 +43,8 @@ jobs:
             path: seL4
       - name: Install SDK dependencies
         run: |
-          rustup install 1.90.0
-          rustup default 1.90.0
+          rustup install 1.94.0
+          rustup default 1.94.0
           rustup target add x86_64-unknown-linux-musl
           rustup component add rust-src --toolchain 1.90.0-x86_64-unknown-linux-gnu
           sudo apt update

initialiser/support/targets/aarch64-sel4-minimal.json

@@ -30,5 +30,5 @@
     "kcfi",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }

initialiser/support/targets/riscv64imac-sel4-minimal.json

@@ -24,5 +24,5 @@
     "shadow-call-stack",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }

initialiser/support/targets/x86_64-sel4-minimal.json

@@ -28,5 +28,5 @@
     "kcfi",
     "kernel-address"
   ],
-  "target-pointer-width": "64"
+  "target-pointer-width": 64
 }