# ARMv5 with vector floating point (vfp).  Should run about 25% faster than
# the armv4 image for integer stuff, and faster than that for floating point.
# Assuming you have at least ARMv5 hardware (which most stuff sold today is).

KARCH=arm
KERNEL_PATH=arch/${KARCH}/boot/zImage
GCC_FLAGS="--with-march=armv5 --with-mfloat-abi=soft --with-mfp=vfp --disable-sjlj-exceptions"
BINUTILS_FLAGS=
QEMU_TEST=$KARCH

CROSS_TARGET=armv5l-unknown-linux-gnueabi

ROOT=sda
CONSOLE=ttyAMA0

# Gentoo from Scratch
GFS_CHOST="armv5l-unknown-linux-gnueabi"
GFS_ARCH="arm"

emulator_command()
{
  echo qemu-system-arm -M versatilepb $(qemu_defaults "$@") \
    -net nic,model=rtl8139 -net user
}