Manolis Ragkousis 's repositories
Guix-on-Hurd
A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]
ubuntu-secure-boot
Self-signed UEFI- and GRUB-based secure boot system for Ubuntu.
Arch-linux-pkgbuilds
My custom PKGBUILD files for Arch GNU/Linux
avr-projects
AVR Projects
bcp
Broadcast Copy
clevis
Automated Encryption Framework
Hurd
GNU Hurd libraries and servers.
MaRagOS
My own simple OS from scratch.
glibc-hurd
Clone of GNU Libc for the Hurd
gnumach
The version of the GNUMach Kernel I am using on my Hurd machines/vms.
Ironman
The Ironman Web Server.
nix
Nix, the purely functional package manager
sm64
A Super Mario 64 decompilation, brought to you by a bunch of clever folks.
tpm2-abrmd
TPM2 Access Broker & Resource Management Daemon implementing the TCG spec.
tpm2-tools
The source repository for the TPM (Trusted Platform Module) 2 tools
website
FOSDEM website