/patches/gnumach/

• ../
• 50_initrd.patch
• 79_dde-debian.patch