From 56dd8f3bce670c6fb8f017d913faf044bef5f579 Mon Sep 17 00:00:00 2001 From: xn0px90 Date: Sat, 7 Jan 2023 16:16:11 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 146f70f..76c45ce 100644 --- a/README.md +++ b/README.md @@ -201,7 +201,7 @@ ## 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. - [sel4](https://sel4.systems/) - seL4 is a high-assurance, high-performance operating system microkernel. - - [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 ## Unikernels - [Awesome-unikernels](https://github.com/uniqernel/awesome-unikernels) - Secure, lightweight and high performance approach to application delivery