Compilation fails for GameBoy Advance targets

[yasen]

$ /opt/devkitpro/devkitARM/bin/arm-none-eabi-gcc rePatch-reDux0-master/repatch.h rePatch-reDux0-master/repatch.c
rePatch-reDux0-master/repatch.c:30:10: fatal error: vitasdkkern.h: No such file or directory
#include <vitasdkkern.h>
^~~~~~~~~~~~~~~
compilation terminated.

Either dependence on vitasdkkern.h must be removed or vitasdkkern.h needs to be ported to the GBA

Thanks