Build your own privacy and security focused Android OS in the cloud.
A TEE solution for Raspberry Pi using OP-TEE, built on TF-A, U-Boot, and buildroot. This is our implementation to get a version of this working, and is not supported by the above projects.
Secure two-stage bootloader with AWS Nitro & GCP vTPM attestation. Multi-architecture (x86_64/ARM64) UEFI boot system with verified execution and PCR measurements
Reusable Arch Linux image and release build tooling for seamless A/B systems
An OS that moves in step with your hardware. Open-source, hardware-adaptive, security-first mobile operating system built on AOSP. Contributors welcome.
Re-signs boot/init_boot/vendor_boot images with the AOSP public testkey and rebuilds vbmeta.img, for bootloader-locked devices that already trust it
Reusable A/B boot, verified-boot, and OTA utilities for Arch Linux appliances
Secure Arch Linux desktop images backed by Secure Boot (kernel image) + dm-verity (rootfs) for integrity and authenticity.
To associate your repository with the verified-boot topic, visit your repo's landing page and select "manage topics."