From 45500df462d274e71d35fdf35cfeae77cb5475af Mon Sep 17 00:00:00 2001 From: sunrisepeak Date: Mon, 31 Aug 2026 04:29:07 +0800 Subject: [PATCH] openkal 0.11 and the eight packages that move with it MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ⚠️ THIS REVISION REMOVES DECLARATIONS, which every earlier one was careful not to. `kal_process_spawn_with' and `kal_process_spawn_bound' are gone: they were never three operations, they were one operation and three modifiers, and the combinations were about to become sixteen. Code written against them fails to COMPILE. Clause 8 was set aside deliberately and once, at the last version where there is no written code to protect. - openkal 0.11.0 --- one spawn taking a `kal_spawn' record; `kal_job' as a resource the caller holds; `kal_process_stop_requested' - openkal-linux 0.10.0, openkal-macos 0.8.0, openkal-windows 0.6.0 --- each implements what its environment can, and declines the rest by not claiming the position rather than by approximating it - openkal-opensbi 0.5.0, openkal-uefi 0.5.0 --- repins - openkal-musl 0.12.0 --- takes it up: a started program runs where the caller is, `setpgid'/`kill(-n)' form and end a real unit, and the `execve' waiter stops holding a pipe open on behalf of a program that has ended - openkal-llvm-runtime 0.8.0 --- carries it ⭐ THE UNIT'S SHAPE WAS DECIDED BY CLAUSE 7.1 AND NOT BY PREFERENCE. As a flag it needed a registry on one implementation, and clause 7.1 states mechanically that an implementation needing a registry indicates the SPECIFICATION borrowed a shape. The obvious repair --- an operation opening an empty unit --- would have moved the same defect to the other kind of system, so the identity is established at the first start and reported back, which both perform remembering nothing. Every sha256 is of the tarball GitHub serves, fetched when the entry was written, and the byte-identical file was uploaded to gitcode and READ BACK AND COMPARED. ⚠️ openkal-musl's first upload failed and was retried and re-verified; an entry names one hash for both URLs, so an unverified CN mirror would fail for every CN user and for nobody else. ⇒ `std-freestanding-alloc-kal` 0.1.4 is NOT here and cannot be: its CI resolves openkal from the PUBLISHED index artifact, which republishes only when this lands. Same ordering as the 0.10 round. --- pkgs/o/openkal-linux.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-llvm-runtime.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-macos.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-musl.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-opensbi.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-uefi.lua | 21 +++++++++++++++++++++ pkgs/o/openkal-windows.lua | 21 +++++++++++++++++++++ pkgs/o/openkal.lua | 21 +++++++++++++++++++++ 8 files changed, 168 insertions(+) diff --git a/pkgs/o/openkal-linux.lua b/pkgs/o/openkal-linux.lua index 733264c..a48a31a 100644 --- a/pkgs/o/openkal-linux.lua +++ b/pkgs/o/openkal-linux.lua @@ -19,6 +19,13 @@ package = { xpm = { linux = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz", + }, + sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", @@ -84,6 +91,13 @@ package = { }, }, macosx = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz", + }, + sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", @@ -149,6 +163,13 @@ package = { }, }, windows = { + ["0.10.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz", + }, + sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443", + }, ["0.9.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz", diff --git a/pkgs/o/openkal-llvm-runtime.lua b/pkgs/o/openkal-llvm-runtime.lua index 6de671a..eaeede1 100644 --- a/pkgs/o/openkal-llvm-runtime.lua +++ b/pkgs/o/openkal-llvm-runtime.lua @@ -26,6 +26,13 @@ package = { xpm = { linux = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz", + }, + sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", @@ -105,6 +112,13 @@ package = { }, }, macosx = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz", + }, + sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", @@ -184,6 +198,13 @@ package = { }, }, windows = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz", + }, + sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz", diff --git a/pkgs/o/openkal-macos.lua b/pkgs/o/openkal-macos.lua index b4d7faa..8655c2e 100644 --- a/pkgs/o/openkal-macos.lua +++ b/pkgs/o/openkal-macos.lua @@ -19,6 +19,13 @@ package = { xpm = { linux = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz", + }, + sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", @@ -91,6 +98,13 @@ package = { }, }, macosx = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz", + }, + sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", @@ -163,6 +177,13 @@ package = { }, }, windows = { + ["0.8.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz", + }, + sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a", + }, ["0.7.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz", diff --git a/pkgs/o/openkal-musl.lua b/pkgs/o/openkal-musl.lua index b54fb71..7773c78 100644 --- a/pkgs/o/openkal-musl.lua +++ b/pkgs/o/openkal-musl.lua @@ -24,6 +24,13 @@ package = { xpm = { linux = { + ["0.12.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz", + }, + sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de", + }, ["0.11.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", @@ -124,6 +131,13 @@ package = { }, }, macosx = { + ["0.12.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz", + }, + sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de", + }, ["0.11.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", @@ -224,6 +238,13 @@ package = { }, }, windows = { + ["0.12.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz", + }, + sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de", + }, ["0.11.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz", diff --git a/pkgs/o/openkal-opensbi.lua b/pkgs/o/openkal-opensbi.lua index 63d5603..dafe5d1 100644 --- a/pkgs/o/openkal-opensbi.lua +++ b/pkgs/o/openkal-opensbi.lua @@ -20,6 +20,13 @@ package = { xpm = { linux = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz", + }, + sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", @@ -78,6 +85,13 @@ package = { }, }, macosx = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz", + }, + sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", @@ -136,6 +150,13 @@ package = { }, }, windows = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz", + }, + sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz", diff --git a/pkgs/o/openkal-uefi.lua b/pkgs/o/openkal-uefi.lua index b90b5ff..8d09539 100644 --- a/pkgs/o/openkal-uefi.lua +++ b/pkgs/o/openkal-uefi.lua @@ -20,6 +20,13 @@ package = { xpm = { linux = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz", + }, + sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", @@ -71,6 +78,13 @@ package = { }, }, macosx = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz", + }, + sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", @@ -122,6 +136,13 @@ package = { }, }, windows = { + ["0.5.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz", + }, + sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177", + }, ["0.4.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz", diff --git a/pkgs/o/openkal-windows.lua b/pkgs/o/openkal-windows.lua index 17cc0a8..224d5ce 100644 --- a/pkgs/o/openkal-windows.lua +++ b/pkgs/o/openkal-windows.lua @@ -21,6 +21,13 @@ package = { xpm = { linux = { + ["0.6.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz", + }, + sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376", + }, ["0.5.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", @@ -86,6 +93,13 @@ package = { }, }, macosx = { + ["0.6.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz", + }, + sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376", + }, ["0.5.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", @@ -151,6 +165,13 @@ package = { }, }, windows = { + ["0.6.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz", + }, + sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376", + }, ["0.5.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz", diff --git a/pkgs/o/openkal.lua b/pkgs/o/openkal.lua index 446cb0b..81ee42a 100644 --- a/pkgs/o/openkal.lua +++ b/pkgs/o/openkal.lua @@ -22,6 +22,13 @@ package = { xpm = { linux = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz", + }, + sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz", @@ -80,6 +87,13 @@ package = { }, }, macosx = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz", + }, + sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz", @@ -138,6 +152,13 @@ package = { }, }, windows = { + ["0.11.0"] = { + url = { + GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz", + CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz", + }, + sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e", + }, ["0.10.0"] = { url = { GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",