From 8f9662b4e3bd100dff15e0fbe2c4300d42d7c829 Mon Sep 17 00:00:00 2001 From: Sunrisepeak Date: Fri, 13 Nov 2026 14:15:45 +0900 Subject: [PATCH] 0.9.1: the specification by its minor version The manifest declares openkal = "^0.25.0": an implementation written against a patch release conforms to every later patch of that minor version (openkal clause 8), so a consumer that names openkal 0.25.1 resolves with it. --- README.md | 9 ++++++++- mcpp.toml | 5 +++-- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index d14ae0f..9ef306a 100644 --- a/README.md +++ b/README.md @@ -5,9 +5,16 @@ An implementation of [openkal][kal] on the RISC-V Supervisor Binary Interface. ```toml [dependencies] openkal = "0.25.0" -openkal-opensbi = "0.9.0" +openkal-opensbi = "0.9.1" ``` +## What 0.9.1 corrects + +The manifest declares `openkal = "^0.25.0"`. An implementation written against a +patch release of the specification conforms to every later patch of that minor +version (openkal clause 8); with an exact version, a consumer that names openkal +0.25.1 could not resolve with this implementation. + ## What 0.9 adds (openkal 0.25) The interfaces this implementation provides are those of openkal 0.25. diff --git a/mcpp.toml b/mcpp.toml index 320f446..331524a 100644 --- a/mcpp.toml +++ b/mcpp.toml @@ -14,7 +14,7 @@ [package] namespace = "mcpplibs" name = "openkal-opensbi" -version = "0.9.0" +version = "0.9.1" description = "An implementation of openkal on the RISC-V Supervisor Binary Interface, portable across every machine whose firmware provides one" license = "Apache-2.0" @@ -33,7 +33,8 @@ repo = "https://github.com/mcpplibs/openkal-opensbi" # The contract, not an implementation of it. Declaring it turns a version # mismatch into a resolution-time message rather than a link-time one. [dependencies] -openkal = "0.25.0" +# Every patch release of the specification's minor version (openkal clause 8). +openkal = "^0.25.0" # WHAT RECEIVES CONTROL, WHICH IS A STATEMENT ABOUT THE PROGRAM. #