Skip to content

Commit

Permalink
docs: Update commit hashes in README.md
Browse files Browse the repository at this point in the history
Signed-off-by: Nick Spinale <[email protected]>
  • Loading branch information
nspin committed Jun 27, 2024
1 parent d06dc13 commit eae32c2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -35,13 +35,13 @@ Microkit](https://github.com/seL4/microkit). In particular, this project works w
following versions of those related projects:

- seL4, when used without Microkit:
[`ddeb18a015199a28393d654ad8349788ab492d8a`](https://github.com/seL4/seL4/tree/ddeb18a015199a28393d654ad8349788ab492d8a)
[`c28e52a1ece2020723d1857c893e75897559563e`](https://github.com/seL4/seL4/tree/c28e52a1ece2020723d1857c893e75897559563e)
(on [github.com/seL4/seL4:master](https://github.com/seL4/seL4/tree/master))
- seL4, when used with Microkit:
[`57975d485397ce1744f7163644dd530560d0b7ec`](https://github.com/seL4/seL4/tree/57975d485397ce1744f7163644dd530560d0b7ec)
(on [github.com/seL4/seL4:microkit](https://github.com/seL4/seL4/tree/microkit))
- seL4 Microkit:
[`0cdcd54ed4b2152678c4312e738b9b1830046234`](https://github.com/seL4/microkit/tree/0cdcd54ed4b2152678c4312e738b9b1830046234)
[`e300c3298023aad9b2d1df9c36f8229e8001a59a`](https://github.com/seL4/microkit/tree/e300c3298023aad9b2d1df9c36f8229e8001a59a)
(on [github.com/seL4/microkit:main](https://github.com/seL4/microkit/tree/main))

### Demos
Expand Down

0 comments on commit eae32c2

Please sign in to comment.