Wenhui Zhang's repositories
kconfig-safety-check
A tool for checking the security hardening options of the Linux kernel
airship-drydock
A declarative host provisioning system.
aws-nitro-enclaves-workshop
AWS Nitro Enclaves Workshop
CID-slides
slides of CID presentations
confidential-cloud-native-primitives
Landing Confidential Computing into Cloud Native Computing
containerd
An open and reliable container runtime
flashinfer
FlashInfer: Kernel Library for LLM Serving
governance
Confidential Computing Consortium Governance Documents
hashbrown
Rust port of Google's SwissTable hash map
hhvm
A virtual machine for executing programs written in Hack.
kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/
kubevirt
Kubernetes Virtualization API and runtime in order to define and manage virtual machines.
Linux-Kernel-Programming_2E
Linux Kernel Programming 2E - published by Packt
linux-svsm
Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
Memento-Artefacts
Public artefacts for the Memento sample selection project.
mlc-llm
Enable everyone to develop, optimize and deploy AI models natively on everyone's devices.
open-gpu-kernel-modules
NVIDIA Linux open GPU kernel module source
openbmc
OpenBMC Distribution
openvino_notebooks
📚 Jupyter notebook tutorials for OpenVINO™
percona-server
Percona Server
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
terraform-up-and-running-code
Code samples for the book "Terraform: Up & Running" by Yevgeniy Brikman