#! /bin/bash

#
# Check Xen pre-3.2 X86_64 translation
#

opts=(
    arch=x86_64
    ostype=xen
    osver=0x030001
)

. "$srcdir"/xlat-os-common
