Dear linaro members

Now, i have accomplished running the model following the steps of Linaro Engineering: ARMv8 activity: http://www.linaro.org/engineering/armv8#tab1.

So, i want to build arm64 kernel according to the steps of HowTo/BuildArm64Kernel.Then i use Foundatin_v8 with args such as linux-system-foundation.axf,vexpress64-openembedded_lam-armv8_20130320-274.img. But kernel cannot run correctly. The information is described as following.

I also tried to create images and got sd.img. The result is also prompted above. The I tried to build kernel of linux-3.7rc1.Because some files of linux-3.6 dont exist in linux-3.7rc1. So i copied the files of linux-3.6 to linux-3.7rc1 and completed the building. Then i use Foundation_v8 with

the new linux-system-foundation.axf. The result was that Foundation model(RTSM) cannot run. Meanwhile i cannot find the source code of Foundation model.

    Now, i want to ask for help. For example: how to build arm64 kernel which can be downloaded from www.kernel.org(linux-3.8.tar.gz), and let arm64 kernel can run on Foundation model. And where I can download the source code of Foundation model.

I hope linaro members who know how to solve the troubles above sincerely. Thanks!

                                                                                                                                                                                                             Xiaoke Wu