secc
/
seL4-microkit
mirror of https://github.com/seL4/microkit.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Start 2.0.1-dev release cycle 

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
This commit is contained in:
Ivan-Velickovic 2025-03-21 13:55:37 +11:00
parent a974a6b35e
commit 7bbaace4ed
4 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@ -1 +1 @@
2.0.0-dev 2.0.1-dev

2
docs/manual.md
View File

@ -4,7 +4,7 @@
--> -->
--- ---
title: Microkit User Manual (v2.0.0-dev) title: Microkit User Manual (v2.0.1-dev)
documentclass: article documentclass: article
classoption: classoption:
- english - english

2
tool/microkit/Cargo.lock generated
View File

@ -10,7 +10,7 @@ checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b"
[[package]] [[package]]
name = "microkit-tool" name = "microkit-tool"
version = "2.0.0-dev" version = "2.0.1-dev"
dependencies = [ dependencies = [
"roxmltree", "roxmltree",
"serde", "serde",

2
tool/microkit/Cargo.toml
View File

@ -6,7 +6,7 @@
[package] [package]
name = "microkit-tool" name = "microkit-tool"
version = "2.0.0-dev" version = "2.0.1-dev"
edition = "2021" edition = "2021"
rust-version = "1.73.0" rust-version = "1.73.0"