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