From 85be4290d01380ea288a66373b123d6831852d36 Mon Sep 17 00:00:00 2001
From: Bill Nguyen <bill.nguyen@unsw.edu.au>
Date: Mon, 21 Sep 2026 13:11:31 +1000
Subject: [PATCH] Add missing Microkit manifest entry

As per title

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
---
 _data/maintained.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/_data/maintained.yml b/_data/maintained.yml
index b6d53576af8..fe7be8d9480 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