Puppy does work on the 512mb pi but I think there was an issue with the loader of the Alpha4 release. If I remember rightly I had to mount the sd card on a PC and replace the bootcode.bin file with the one from a Raspbian install. I have it running here and like all the other puppy variants it seems...