#! /bin/bash

#
# Check X86_64 translation with no OS
#

opts=(
    arch=x86_64
    virt_bits=48
)

. "$srcdir"/xlat-os-common
