Skip to content

Commit

Permalink
Update to latest seL4
Browse files Browse the repository at this point in the history 
Signed-off-by: Ivan Velickovic <[email protected]>
  • Loading branch information
@Ivan-Velickovic
Ivan-Velickovic committed May 2, 2024
1 parent f093985 commit cfb8c9c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,7 @@ Please clone seL4 from:

The correct branch to use is `microkit`.

Testing has been performed using commit `7008430d4432c71a74b2a1da0afae58f7a8658df`.
Testing has been performed using commit `57975d485397ce1744f7163644dd530560d0b7ec`.

## Building the SDK

Expand Down

0 comments on commit cfb8c9c

Please sign in to comment.