Re: [QUERY] Building and testing Aarch64

From: Catalin Marinas
Date: Fri Sep 27 2013 - 11:02:21 EST

On Fri, Sep 27, 2013 at 03:43:21PM +0100, Ramkumar Ramachandra wrote:
> 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):
> >
> >
> 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?

The .axf file is something traditionally called ARM eXecutable Format,
which these days it's just an ELF format that the model can load
directly. The above code contains the pre-Linux boot initialisation, the
kernel Image (uncompressed, doesn't have a decompressor) and possibly a
filesystem, unless you use the --block-device model option. To get the
boot wrapper, just clone this:


The README and Makefile should be enough to get you started.

> Also, what is

I think that's the library that contains the actual software model.

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at