Repository navigation
0.6.0: openkal-run binds the interfaces its implementation provides - #36
Merged
Merged
Conversation
build.mcpp reads the resolved implementation's provides-interfaces (MCPP_KERNEL_ABI_INTERFACES, mcpp 2026.11.10.1): a name of an interface it does not provide is listed without an address and nothing of that interface is referred to; an image that requires it is refused at load. The word an image is told is kal_interfaces() intersected with the interfaces bound, with the loader's own. The interfaces the runner calls are stated as [kernel-abi] requires-interfaces. no_space.cpp, bindings_space.cpp and the per-system source tables are removed. openkal ^0.25.0; defaults openkal-linux ^0.26.0, openkal-macos ^0.23.0, openkal-windows ^0.21.0.
ld/tests are UTest cases (each check an expectation); .github/versions.env pins mtest; the composite actions mtest and test-report take each job's store into its summary and an artifact; the report job renders one report over the workflow run's group.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
openkal-run 0.6.0 binds the interfaces its implementation provides (design K1, over mcpp 2026.11.10.1's E13).
run/build.mcppreads the resolved implementation's provides-interfaces (MCPP_KERNEL_ABI_INTERFACES). A name of an interface the implementation does not provide is listed without an address, and nothing of that interface is referred to. An image that requires such an interface is refused at load.kal_interfaces()intersected with the interfaces bound, plus the loader's own.[kernel-abi] requires-interfaces.no_space.cpp,bindings_space.cppand the per-system source tables are removed: one binding table serves every implementation, openkal-posix included.The functional commit is verified on the existing suite first. The migration of libokld's vectors to the mtest library follows as its own commit.
Verification