Update README.md

Signed-off-by: xn0px90 <xn0px90@users.noreply.github.com>
This commit is contained in:
xn0px90 2023-01-10 06:58:05 -07:00 committed by GitHub
parent c822a25028
commit 60e4e6a8f0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -220,6 +220,7 @@ Contributions *very welcome* but first see [Contributing](#contributing).
## Kernels ## Kernels
-[Qubes-linux-kernel](https://github.com/QubesOS/qubes-linux-kernel) - Qubes package for Linux kernel
- [eBPF](https://ebpf.io) - eBPF is a revolutionary technology with origins in the Linux kernel that can run sandboxed programs in an operating system kernel. - [eBPF](https://ebpf.io) - eBPF is a revolutionary technology with origins in the Linux kernel that can run sandboxed programs in an operating system kernel.
- [OpenXT](https://openxt.org/) - OpenXT is an open-source development toolkit for hardware-assisted security research and appliance integration. - [OpenXT](https://openxt.org/) - OpenXT is an open-source development toolkit for hardware-assisted security research and appliance integration.
- [seL4](https://sel4.systems/) - seL4 is a high-assurance, high-performance operating system microkernel. - [seL4](https://sel4.systems/) - seL4 is a high-assurance, high-performance operating system microkernel.