当前main分支下为arceos动态平台应用的补丁采用的是
axplat-aarch64-dyn = { git = "https://github.com/arceos-hypervisor/axplat-aarch64-dyn.git", branch = "v03", features = ["smp", "irq"], optional = true }
v03 branch的 axplat-aarch64-dyn 依赖的 axplat 是
axplat = { git = "https://github.com/arceos-org/axplat_crates.git", tag="dev-v03" }
arceos.sh clone 的 arceos 是
https://github.com/arceos-hypervisor/arceos.git
其依赖于
axplat = { git = "https://github.com/arceos-hypervisor/axplat_crates", tag="vmm-v0.3.0" }
这两个 axplat 仓库的命名行为并不一致,是两个不同版本的 axplat,最终导致动态平台的 arceos 编译失败。
将补丁采用的 branch = “v03” 修改为 tag = "v0.3.3" 可暂时解决问题。
axplat-aarch64-dyn = { git = "https://github.com/arceos-hypervisor/axplat-aarch64-dyn.git", tag = "v0.3.3", features = ["smp", "irq"], optional = true }
当前main分支下为arceos动态平台应用的补丁采用的是
v03 branch的 axplat-aarch64-dyn 依赖的 axplat 是
arceos.sh clone 的 arceos 是
其依赖于
这两个 axplat 仓库的命名行为并不一致,是两个不同版本的 axplat,最终导致动态平台的 arceos 编译失败。
将补丁采用的 branch = “v03” 修改为 tag = "v0.3.3" 可暂时解决问题。