Hello hans
I'm glad you're working on pduino "next generation"

arduino has the -Os flag but there is some strange issue with linking that we are still investigating.
We could just shift to plain c for the pduino firmware... i see it as something you provide pre complied
and people find it pre installed on any arduino they buy.
we can add a menu item to arduino 0005 that will download the firmware into the board in case it is erased.
this way we can squeeze much more out of it.
what do you think?
massimo