mmisono

direnv.vim

vim plugin for direnv support

alioth

Experimental KVM-based type-2 hypervisor in Rust implemented from scratch.

libvmm

An experimental virtual machine monitor for the seL4 microkernel

td-partitioning-svsm

verismo

A formally verified security module for AMD confidential VMs

snp-guard

Open Source Implemenation of Secure SEV-SNP bootup workflow

vroom

userspace nvme driver

AzurePublicDataset

Microsoft Azure Traces

cve-2023-46813-poc

confidential-computing-resources

tsffs

A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

Veil

nix-portable

Nix - Static, Permissionless, Installation-free, Pre-configured

bubblewrap

Low-level unprivileged sandboxing tool used by Flatpak and similar projects

psp

kvm-host

A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)

illusion-rs

Rusty Hypervisor - Windows UEFI Blue Pill Type-1 Hypervisor in Rust (Codename: Illusion)

tdx

Intel confidential computing - TDX

uefi

UEFI

MS-DOS

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

nix-installer

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.

amd_hypervisor

AMD Hypervisor written writh Rust.

git-hooks.nix

Seamless integration of https://pre-commit.com git hooks with Nix.

heckler

Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)

WeSee

Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)

nix

Nix, the purely functional package manager

stratovirt

gdb-pt-dump

user-tools

Community contributed tools

UefiVarTool

Scriptable tool to read and write UEFI variables from EFI shell. View, save, edit and restore hidden UEFI (BIOS) Setup settings faster than with the OEM menu forms.