/emulators/gpsp-rpi/patches/
../
patch-arm_warm.c
patch-arm_warm.h
patch-main.c