google / PINT

Related projects ⓘ

Alternatives and complementary repositories for PINT

• google / gce-tcb-verifier
  Reference code for creating and verifying a GCE firmware signed reference value message.
  ☆14Updated this week
• intel / vtpm-td
  ☆35Updated last week
• intel / rust-spdm
  ☆15Updated 3 months ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated this week
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆20Updated this week
• 9elements / converged-security-suite
  Converged Security Suite for Intel & AMD platform security features
  ☆58Updated 2 months ago
• google / go-sev-guest
  go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamenta…
  ☆52Updated this week
• AmpereComputing / edk2-platforms
  Ampere EDK II implementation for Ampere's arm64 SoCs
  ☆22Updated 2 weeks ago
• CTSRD-CHERI / cheribuild
  Easily build and run CHERI related projects
  ☆68Updated last week
• andreas-abel / XED-to-XML
  XML representation of the x86 instruction set
  ☆27Updated last year
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆121Updated this week
• intel-staging / td-partitioning-svsm
  ☆10Updated this week
• tpm2-software / tpm2-tcti-uefi
  TCTI module for use with TSS2 libraries in UEFI environment
  ☆32Updated last year
• keystone-enclave / keystone-demo
  Demo host and enclave applications exercising most functionality.
  ☆31Updated last year
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 2 years ago
• AMDESE / qemu
  QEMU fork
  ☆22Updated this week
• opencomputeproject / OpenSystemFirmware
  Open Systems Firmware (OSF)
  ☆70Updated last year
• rust-vmm / vm-fdt
  ☆14Updated 3 months ago
• virtee / sevctl
  Administrative utility for AMD SEV
  ☆45Updated 3 weeks ago
• microsoft / monza
  Research unikernel for virtualized services
  ☆48Updated last year
• google / go-tdx-guest
  go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamenta…
  ☆53Updated last month
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆22Updated this week
• intel / MigTD
  ☆20Updated last week
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated this week
• lowRISC / manticore
  ☆16Updated 2 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• opencomputeproject / OSF-OSFCI
  Open Source Firmware Continuous Integration source code
  ☆22Updated this week
• rust-vmm / rust-vmm-ci
  ☆18Updated 2 weeks ago
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆22Updated this week