Skip to content

Commit 45500df

Browse files
SunrisepeakSunrisepeak
committed
openkal 0.11 and the eight packages that move with it
⚠️ 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.
1 parent c188c38 commit 45500df

8 files changed

Lines changed: 168 additions & 0 deletions

‎pkgs/o/openkal-linux.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,13 @@ package = {
1919

2020
xpm = {
2121
linux = {
22+
["0.10.0"] = {
23+
url = {
24+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz",
25+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz",
26+
},
27+
sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443",
28+
},
2229
["0.9.0"] = {
2330
url = {
2431
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",
@@ -84,6 +91,13 @@ package = {
8491
},
8592
},
8693
macosx = {
94+
["0.10.0"] = {
95+
url = {
96+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz",
97+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz",
98+
},
99+
sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443",
100+
},
87101
["0.9.0"] = {
88102
url = {
89103
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",
@@ -149,6 +163,13 @@ package = {
149163
},
150164
},
151165
windows = {
166+
["0.10.0"] = {
167+
url = {
168+
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.10.0.tar.gz",
169+
CN = "https://gitcode.com/mcpp-res/openkal-linux/releases/download/0.10.0/openkal-linux-0.10.0.tar.gz",
170+
},
171+
sha256 = "80330d6b037f4306dfad13b12f42a092b52b5da7d47ee7712d4b79a01777f443",
172+
},
152173
["0.9.0"] = {
153174
url = {
154175
GLOBAL = "https://github.com/mcpplibs/openkal-linux/archive/refs/tags/0.9.0.tar.gz",

‎pkgs/o/openkal-llvm-runtime.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,13 @@ package = {
2626

2727
xpm = {
2828
linux = {
29+
["0.8.0"] = {
30+
url = {
31+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz",
32+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz",
33+
},
34+
sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2",
35+
},
2936
["0.7.0"] = {
3037
url = {
3138
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",
@@ -105,6 +112,13 @@ package = {
105112
},
106113
},
107114
macosx = {
115+
["0.8.0"] = {
116+
url = {
117+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz",
118+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz",
119+
},
120+
sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2",
121+
},
108122
["0.7.0"] = {
109123
url = {
110124
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",
@@ -184,6 +198,13 @@ package = {
184198
},
185199
},
186200
windows = {
201+
["0.8.0"] = {
202+
url = {
203+
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.8.0.tar.gz",
204+
CN = "https://gitcode.com/mcpp-res/openkal-llvm-runtime/releases/download/0.8.0/openkal-llvm-runtime-0.8.0.tar.gz",
205+
},
206+
sha256 = "5866b6e82eced4b7200820f3cf08b48e421776f0e9159cb88e84e1c8a120b9a2",
207+
},
187208
["0.7.0"] = {
188209
url = {
189210
GLOBAL = "https://github.com/mcpplibs/openkal-llvm-runtime/archive/refs/tags/0.7.0.tar.gz",

‎pkgs/o/openkal-macos.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,13 @@ package = {
1919

2020
xpm = {
2121
linux = {
22+
["0.8.0"] = {
23+
url = {
24+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz",
25+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz",
26+
},
27+
sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a",
28+
},
2229
["0.7.0"] = {
2330
url = {
2431
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",
@@ -91,6 +98,13 @@ package = {
9198
},
9299
},
93100
macosx = {
101+
["0.8.0"] = {
102+
url = {
103+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz",
104+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz",
105+
},
106+
sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a",
107+
},
94108
["0.7.0"] = {
95109
url = {
96110
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",
@@ -163,6 +177,13 @@ package = {
163177
},
164178
},
165179
windows = {
180+
["0.8.0"] = {
181+
url = {
182+
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.8.0.tar.gz",
183+
CN = "https://gitcode.com/mcpp-res/openkal-macos/releases/download/0.8.0/openkal-macos-0.8.0.tar.gz",
184+
},
185+
sha256 = "84d3ddf2baabbfc5368e64b075373b8a4088214a74426f52b8bb630a69cf805a",
186+
},
166187
["0.7.0"] = {
167188
url = {
168189
GLOBAL = "https://github.com/mcpplibs/openkal-macos/archive/refs/tags/0.7.0.tar.gz",

‎pkgs/o/openkal-musl.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,13 @@ package = {
2424

2525
xpm = {
2626
linux = {
27+
["0.12.0"] = {
28+
url = {
29+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz",
30+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz",
31+
},
32+
sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de",
33+
},
2734
["0.11.0"] = {
2835
url = {
2936
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",
@@ -124,6 +131,13 @@ package = {
124131
},
125132
},
126133
macosx = {
134+
["0.12.0"] = {
135+
url = {
136+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz",
137+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz",
138+
},
139+
sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de",
140+
},
127141
["0.11.0"] = {
128142
url = {
129143
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",
@@ -224,6 +238,13 @@ package = {
224238
},
225239
},
226240
windows = {
241+
["0.12.0"] = {
242+
url = {
243+
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.12.0.tar.gz",
244+
CN = "https://gitcode.com/mcpp-res/openkal-musl/releases/download/0.12.0/openkal-musl-0.12.0.tar.gz",
245+
},
246+
sha256 = "2727f10d2ebffb05d87d82525fe4755ed4eb02fdaf55eb816179a0628e9de5de",
247+
},
227248
["0.11.0"] = {
228249
url = {
229250
GLOBAL = "https://github.com/mcpplibs/openkal-musl/archive/refs/tags/0.11.0.tar.gz",

‎pkgs/o/openkal-opensbi.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,13 @@ package = {
2020

2121
xpm = {
2222
linux = {
23+
["0.5.0"] = {
24+
url = {
25+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz",
26+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz",
27+
},
28+
sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd",
29+
},
2330
["0.4.0"] = {
2431
url = {
2532
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",
@@ -78,6 +85,13 @@ package = {
7885
},
7986
},
8087
macosx = {
88+
["0.5.0"] = {
89+
url = {
90+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz",
91+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz",
92+
},
93+
sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd",
94+
},
8195
["0.4.0"] = {
8296
url = {
8397
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",
@@ -136,6 +150,13 @@ package = {
136150
},
137151
},
138152
windows = {
153+
["0.5.0"] = {
154+
url = {
155+
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.5.0.tar.gz",
156+
CN = "https://gitcode.com/mcpp-res/openkal-opensbi/releases/download/0.5.0/openkal-opensbi-0.5.0.tar.gz",
157+
},
158+
sha256 = "b10129c9313f45580ee5d4fea7fbb68ff5f9addee663e18ef9c0d34b9d0c4ffd",
159+
},
139160
["0.4.0"] = {
140161
url = {
141162
GLOBAL = "https://github.com/mcpplibs/openkal-opensbi/archive/refs/tags/0.4.0.tar.gz",

‎pkgs/o/openkal-uefi.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,13 @@ package = {
2020

2121
xpm = {
2222
linux = {
23+
["0.5.0"] = {
24+
url = {
25+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz",
26+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz",
27+
},
28+
sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177",
29+
},
2330
["0.4.0"] = {
2431
url = {
2532
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",
@@ -71,6 +78,13 @@ package = {
7178
},
7279
},
7380
macosx = {
81+
["0.5.0"] = {
82+
url = {
83+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz",
84+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz",
85+
},
86+
sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177",
87+
},
7488
["0.4.0"] = {
7589
url = {
7690
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",
@@ -122,6 +136,13 @@ package = {
122136
},
123137
},
124138
windows = {
139+
["0.5.0"] = {
140+
url = {
141+
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.5.0.tar.gz",
142+
CN = "https://gitcode.com/mcpp-res/openkal-uefi/releases/download/0.5.0/openkal-uefi-0.5.0.tar.gz",
143+
},
144+
sha256 = "b2aef7b4d3a0da0e0fef92bf8d7f247a486f402bfea20d562fd48b17485b3177",
145+
},
125146
["0.4.0"] = {
126147
url = {
127148
GLOBAL = "https://github.com/mcpplibs/openkal-uefi/archive/refs/tags/0.4.0.tar.gz",

‎pkgs/o/openkal-windows.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,13 @@ package = {
2121

2222
xpm = {
2323
linux = {
24+
["0.6.0"] = {
25+
url = {
26+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz",
27+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz",
28+
},
29+
sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376",
30+
},
2431
["0.5.0"] = {
2532
url = {
2633
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",
@@ -86,6 +93,13 @@ package = {
8693
},
8794
},
8895
macosx = {
96+
["0.6.0"] = {
97+
url = {
98+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz",
99+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz",
100+
},
101+
sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376",
102+
},
89103
["0.5.0"] = {
90104
url = {
91105
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",
@@ -151,6 +165,13 @@ package = {
151165
},
152166
},
153167
windows = {
168+
["0.6.0"] = {
169+
url = {
170+
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.6.0.tar.gz",
171+
CN = "https://gitcode.com/mcpp-res/openkal-windows/releases/download/0.6.0/openkal-windows-0.6.0.tar.gz",
172+
},
173+
sha256 = "9427383d37874acd3ca7dd51d349d082192c15f7a120fe3404100e21d62a1376",
174+
},
154175
["0.5.0"] = {
155176
url = {
156177
GLOBAL = "https://github.com/mcpplibs/openkal-windows/archive/refs/tags/0.5.0.tar.gz",

‎pkgs/o/openkal.lua‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,6 +22,13 @@ package = {
2222

2323
xpm = {
2424
linux = {
25+
["0.11.0"] = {
26+
url = {
27+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz",
28+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz",
29+
},
30+
sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e",
31+
},
2532
["0.10.0"] = {
2633
url = {
2734
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",
@@ -80,6 +87,13 @@ package = {
8087
},
8188
},
8289
macosx = {
90+
["0.11.0"] = {
91+
url = {
92+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz",
93+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz",
94+
},
95+
sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e",
96+
},
8397
["0.10.0"] = {
8498
url = {
8599
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",
@@ -138,6 +152,13 @@ package = {
138152
},
139153
},
140154
windows = {
155+
["0.11.0"] = {
156+
url = {
157+
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.11.0.tar.gz",
158+
CN = "https://gitcode.com/mcpp-res/openkal/releases/download/0.11.0/openkal-0.11.0.tar.gz",
159+
},
160+
sha256 = "6080d42fa9954c356e520b5433f489d2298bddd44d97b096874d0719ce74396e",
161+
},
141162
["0.10.0"] = {
142163
url = {
143164
GLOBAL = "https://github.com/mcpplibs/openkal/archive/refs/tags/0.10.0.tar.gz",

0 commit comments

Comments
 (0)