OsirisRTOS · xarantolus · Feb 5, 2026 · Mar 7, 2026 · Mar 25, 2026 · Mar 25, 2026
diff --git a/.cargo/config.toml b/.cargo/config.toml
@@ -1,16 +1,13 @@
+include = [
+    "../config.toml"
+]
 
 [alias]
 xtask = "--config xtasks/.cargo/config.toml run -p xtask --release --"
 
-[env]
-
-[build]
-target = "host-tuple"
-
-[target]
-
 [target.'cfg(target_os = "none")']
-rustflags = ["-C", "link-arg=--entry=main",]
-
-[target.thumbv7em-none-eabi]
-rustflags = ["-C", "relocation-model=ropi-rwpi"]
+rustflags = [
+    "-C", "link-arg=--entry=main",
+    "-C", "link-arg=-Tprelude.ld",
+    "-C", "link-arg=-Tlink.ld",
+]
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -86,7 +86,7 @@ ENV CARGO_HOME=/usr/local/cargo
 ENV KANI_HOME=/usr/local/kani
 ENV PATH="/usr/local/cargo/bin:${PATH}"
 
-ARG RUST_VERSION=1.93.1
+ARG RUST_VERSION=1.94.1
 RUN --mount=type=cache,target=/usr/local/cargo/registry \
 	curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs \
 	| sh -s -- -y --no-modify-path --default-toolchain ${RUST_VERSION} && \

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -36,7 +36,9 @@
 	"runArgs": [
 		// Mount USB devices under Linux
 		"--device",
-		"/dev/bus/usb:/dev/bus/usb"
+		"/dev/bus/usb:/dev/bus/usb",
+		"--group-add",
+		"keep-groups"
 	],
 	"mounts": [
 		// Make ssh keys available

diff --git a/.gitignore b/.gitignore
@@ -10,3 +10,4 @@ symbols.map
 compile_commands.json
 .cache/
 *.img
+config.toml
diff --git a/Cargo.lock b/Cargo.lock
-Original file line number
+Diff line change
@@ Expand Up / @@ -10,3 +10,4 @@ symbols.map @@
     compile_commands.json
     .cache/
     *.img
+    config.toml