Hi, Here is a patch that should solve this issue.
Regards, Patrice
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -2811,7 +2811,7 @@
return 0;
}
-__inline__ void rom_timer_inc(void) {
+extern __inline__ void rom_timer_inc(void) {
rom_timer->reg[0]=(rom_timer->reg[0]+1)%60;
if (!rom_timer->reg[0]) {
rom_timer->reg[1]=(rom_timer->reg[1]+1)%60;

