From 8a2ed69c870b5047e7a4dd074c8c1a26fcd79280 Mon Sep 17 00:00:00 2001 From: xn0px90 Date: Sat, 21 Jan 2023 02:58:59 +0000 Subject: [PATCH] Update README.md Signed-off-by: xn0px90 --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index d9864f5..518d6c4 100644 --- a/README.md +++ b/README.md @@ -221,9 +221,10 @@ Contributions *very welcome* but first see [Contributing](#contributing). ## Kernels +- [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. + ### Microkernels -- [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. - [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.