diff --git a/_data/maintained.yml b/_data/maintained.yml index b6d53576af..fe7be8d948 100644 --- a/_data/maintained.yml +++ b/_data/maintained.yml @@ -50,6 +50,7 @@ github: repo_projects: - sel4test-manifest - sel4bench-manifest + - microkit-manifest - camkes-manifest - camkes-vm-examples-manifest - sel4webserver-manifest