RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

docs: README: Fix url to kernel features

Browse Source 
Signed-off-by: Szymon Duchniewicz <s.duchniewicz@unsw.edu.au>
This commit is contained in:
Szymon Duchniewicz
2024-11-22 00:51:33 +01:00
committed by Indan Zupancic
parent e995b64653
commit 4b233815fd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -103,7 +103,7 @@ A list of releases and current project status can be found under [seL4 releases]
- [Roadmap](https://docs.sel4.systems/projects/roadmap): new features in development
- [Hardware Support](https://docs.sel4.systems/Hardware): information about hardware platform ports
- [Kernel Features]((https://docs.sel4.systems/projects/sel4/status)): information about available
- [Kernel Features](https://docs.sel4.systems/projects/sel4/status): information about available
kernel features
- [Userland Components and
Drivers](https://docs.sel4.systems/projects/available-user-components.html): available device