portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

README: remove outdated pages

Browse source 
These are going to be removed in the website reorg.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-04-25 15:16:16 +10:00
parent eca86cff19
commit 1acde069a5
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -61,8 +61,6 @@ Community
- [Discourse](https://sel4.discourse.group/)
- [seL4 Announce](https://lists.sel4.systems/postorius/lists/announce.sel4.systems)
- [seL4 Devel](https://lists.sel4.systems/postorius/lists/devel.sel4.systems)
- [Suggested projects](https://docs.sel4.systems/SuggestedProjects)
- [Community projects](https://docs.sel4.systems/CommunityProjects)
See the [contact] links on the seL4 website for the full list.