Follow openkal 0.8, and record why the five new interfaces are absent

This machine provides none of them, and each absence has a reason rather than
being an omission: no network for net and datagram, no memory management unit to
copy an address space with for space, no second execution context to bound a wait
against for timeout, and a console whose settings the firmware does not expose for
terminal.

Clause 6.1 makes an interface an implementation does not provide absent at the
link, so a program requiring one is refused when it is built rather than when it
runs. The README states this beside the reasons already recorded for fs, process
and task, so that a reader asking why finds the answer where the other answers
are.

Author: speak-agent

README.md

@@ -31,6 +31,19 @@ scheduler, and clause 6.2 says the remedy for an operation that cannot be
 provided is that its absence be expressed by its absence rather than by a
 run-time refusal.
 
+The five interfaces version 0.8 adds are absent for the same reason and by the
+same rule. This machine has no network, so `net` and `datagram` are not provided.
+It has no memory management unit to copy an address space with, so `space` is
+not. It has no second execution context to bound a wait against, so `timeout` is
+not: an operation here either completes or does not, and a bound upon it would
+report an expiry that could never occur. `terminal` is absent because the console
+is a serial line whose settings this firmware does not expose; a stream is
+reported as interactive and nothing acts upon that fact.
+
+None of the five is a deviation. Clause 6.1 makes an interface an implementation
+does not provide absent at the link, so a program requiring one is refused when
+it is built rather than when it runs.
+
 ⚠️ **`time` used to be on that list, with a reason, and the reason was wrong.**
 
 It read: SBI can arm a timer interrupt, which is a mechanism for a kernel rather

mcpp.toml

@@ -14,7 +14,7 @@
 [package]
 namespace   = "mcpplibs"
 name        = "openkal-opensbi"
-version     = "0.1.5"
+version     = "0.2.0"
 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,7 @@ 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.7.0"
+openkal = { git = "https://github.com/mcpplibs/openkal", branch = "feat/openkal-0.8" }
 
 # ⭐ WHAT RECEIVES CONTROL, WHICH IS A STATEMENT ABOUT THE PROGRAM.
 #