Remove seL4 Core Platform from community projects page

The seL4 Core Platform (now known as seL4 Microkit) is now an official project of the seL4 foundation and hence is no longer a community project. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Oct 19, 2023 · 5446c6d · 5446c6d
1 parent fb0be1d
commit 5446c6d
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/CommunityProjects.md b/CommunityProjects.md
@@ -32,8 +32,6 @@ See also the list of [Projects at Trustworthy Systems](https://trustworthy.syste
 
 - [CamkES](https://trustworthy.systems/projects/TS/camkes) to build
     [Trustworthy components](https://trustworthy.systems/projects/TS/trustcomp)
-- [seL4 Core Platform](https://github.com/BreakawayConsulting/sel4cp)
-personality for seL4
 - [Genode](https://genode.org)
 - [RefOS](https://github.com/seL4/refos) was created as reference OS
 - [Neptune OS](https://github.com/cl91/NeptuneOS) is a WinNT personality