Skip to content

Commit d9b1e0a

Browse files
dreamliner787-9dreamliner787-9
committed
Switch rust-sel4 to mainline commit
Which also required changes to how the spec is packed into the intialiser. Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
1 parent c7abd5a commit d9b1e0a

4 files changed

Lines changed: 143 additions & 72 deletions

File tree

‎Cargo.lock‎

Lines changed: 62 additions & 31 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,12 @@ members = [
1212
]
1313

1414
[workspace.dependencies.sel4-capdl-initializer]
15-
git = "https://github.com/au-ts/rust-sel4"
16-
rev = "33cb132571121a8d846ad3be9066617087ee5c32"
15+
git = "https://github.com/seL4/rust-sel4"
16+
rev = "c30d0e44fb32c15239049ce402ef2a8c72499aa3"
1717

1818
[workspace.dependencies.sel4-capdl-initializer-types]
19-
git = "https://github.com/au-ts/rust-sel4"
20-
rev = "33cb132571121a8d846ad3be9066617087ee5c32"
19+
git = "https://github.com/seL4/rust-sel4"
20+
rev = "c30d0e44fb32c15239049ce402ef2a8c72499aa3"
2121

2222
[profile.release.package.microkit-tool]
2323
strip = true

0 commit comments

Comments
 (0)