Update README.md

Signed-off-by: :|:¯\_(ツ)_/¯:|: <xn0px90@users.noreply.github.com>
This commit is contained in:
|:¯\_(ツ)_/¯:| 2024-11-25 20:40:57 -05:00 committed by GitHub
parent 3446dcd646
commit 65c73402cd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -306,7 +306,7 @@ Contributions *very welcome* but first see [Contributing](#contributing).
- [OpenXT](https://openxt.org/) - OpenXT is an open-source development toolkit for hardware-assisted security research and appliance integration.
- [Qubes-linux-kernel](https://github.com/QubesOS/qubes-linux-kernel) - Qubes package for Linux kernel.
- [seL4](https://sel4.systems/) - seL4 is a high-assurance, high-performance operating system microkernel.
-[makatea](https://trustworthy.systems/projects/TS/makatea) - Qubes OS like operating system but with seL4.
- [makatea](https://trustworthy.systems/projects/TS/makatea) - Qubes OS like operating system but with seL4.
### Unikernels
- [Awesome-Unikernels](https://github.com/uniqernel/awesome-unikernels) - Secure, lightweight and high performance approach to application delivery.