Notes

These pages contain personal notes on topics relevant to me. They are not particularly designed for public use, but I am including them here in case someone finds them useful.

Citing Software Sources

Combinable Records: Deprecation

Combinable Records: Implementation

Combinable Records: Motivation

Git Verification with Guix

Guix vs QubesOS Xen Build

Implementation of Xen

Qubes Linux Utils

Qubes Signing

Reflections on Worklogs

Xen Signing