openkal-opensbi 0.1.4, and 0.1.3 withdrawn - #250
Merged
Conversation
0.1.3 给这个后端不提供的两个接口定义了能力字。规范 6.1 条把 「实现不提供的接口」定为链接期的缺席,使用它的消费者链接失败 —— 那个链接错误是机制,而 0.1.3 把它消掉了,让程序越过了链接器 存在的意义。0.1.4 的代码面与 0.1.2 逐行一致。⚠️ 0.1.3 的三个条目整个删掉而不是留着,因为留着就能被 pin 到。 它在索引里存在了不到一小时,不存在需要兼容的消费者。 镜像已核验:两侧 27163 bytes、sha256 9764ee70… 一致,CN 对象 实际下载并 `tar tzf` 通过。
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
1 participant
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.
0.1.3(#249,今天早些时候)给该后端不提供的
openkal.fs与openkal.task定义了能力字,用来消掉一个只提问的程序的链接错误。规范 6.1 条:「实现不提供的接口,作为链接期定义是缺席的,使用它的消费者链接失败。」那个错误是机制而非缺陷;消掉它之后程序越过了链接器存在的意义,接着会撞上未定义的
kal_fs_open,或者认为自己有一个零能力的文件系统。0.1.4 的代码面与 0.1.2 逐行一致。0.1.3 的条目整个删除而非保留 —— 保留就能被 pin 到,而它在索引里存在不足一小时。
上游 mcpplibs/openkal-opensbi#4。镜像两侧 27163 bytes、sha256
9764ee70…一致并已实际下载解包。