Re: [QUERY] Building and testing Aarch64

Ramkumar Ramachandra
2013-09-27T14:44:05Z

Hi Catalin,

Catalin Marinas wrote:
> ARM provides an emulator, ARMv8 Foundation Model (free as in free beer
> but you need to register to be able to download, just like the
> architecture documentation):
>
> http://www.arm.com/products/tools/models/fast-models/foundation-model.php

I downloaded the foundation model and ran:

$ ./Foundation_v8 --image linux-system-foundation.axf --block-device
debian-arm-rootfs

as described in the Debian page [1]. However, I didn't understand how
to boot it up with the kernel I just built with my toolchain
(arch/arm64/boot/Image.gz). What is this linux-system-foundation.axf?
Also, what is libarmctmodel.so?

Thanks.

[1]: https://wiki.debian.org/Arm64Port#Pre-built_Rootfs