ports/emulators/hatari/patches
