From ab98df082deab05be0e3ab331994eb08a8bb0472 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Mon, 30 Mar 2026 23:42:30 -0700 Subject: [PATCH] data: rust-sel4 v4.0.0 release info Signed-off-by: Nick Spinale --- _data/projects/rust.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/_data/projects/rust.yml b/_data/projects/rust.yml index c8a20569f7..666c7036f5 100644 --- a/_data/projects/rust.yml +++ b/_data/projects/rust.yml @@ -25,3 +25,7 @@ releases: url: "https://github.com/seL4/rust-sel4/releases/tag/v3.0.0" kernel_version: 14.0.0 microkit_version: 2.1.0 + - version: 4.0.0 + url: "https://github.com/seL4/rust-sel4/releases/tag/v4.0.0" + kernel_version: 15.0.0 + microkit_version: 2.2.0