diff --git a/CHANGES.md b/CHANGES.md index 1c881e42..0067ac98 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -8,6 +8,15 @@ ### Changes + +### Upgrade Notes +--- + +## camkes-3.11.0 2024-07-01 +Using seL4 version 13.0.0 + +### Changes + #### Added/Removed * Added support for SMC capabilities diff --git a/VERSION b/VERSION index fd2b2a32..9df879a0 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -camkes-3.10.0-dev +camkes-3.11.0 \ No newline at end of file