Dear all:
            I  am a beginner to use ARMboot to boot EDB7312,and I have a question.
            Is ARMboot the same as PPCboot?
            PPCboot use a tool named "mkimage" to make kernel or ramdisk a special format,
            so PPCboot can recognize these files and execute them.
            But I can not find a tool named "mkimage" in ARMboot,I don't know
            what tools can I use to make kernel or ramdisk be recognized by ARMboot.
            Can I use PPCboot tool "mkimage" to convert files for ARMboot?
            Where could I download the source code of mkimage or binary file of mkimage?
            Your great suggestions are my best help.
Best Regards.