#! /bin/bash

#
# Check IA32 translation with no OS
#

opts=(
    arch=ia32
    phys_bits=32
)

. "$srcdir"/xlat-os-common
