Yes, you can use AVIs. Read the DVD->DivX guide that is on this site; it'll teach you how to encode movies for your PPC. Use to actually play the AVIs.
By the way, AVI is just a container, not a format. Different AVIs may be different.
just got my AXIM 400mhz look for AMIX users info...