Can't enable picoc with
CONFIG_PICOC = y
CONFIG_TCC = n
No script-menu entry appears on 550D.
Are there any scripts on the card?
Yes. Reduced number of scripts to test.c clock.c sokuban.c but still not working.
Works for me with default config.
You can add some debug messages in src/picoc.c, picoc_init (maybe it doesn't recognize the script directory?)
Also check the binary size with and without picoc (should be 60-70K difference between them).
I cloned another repository and it's working.
My fault anyhow, sorry.