#! /bin/bash

#
# Check Xen IA32 PAE translation
#

opts=(
    arch=ia32
    ostype=xen
    rootpgt=MACHPHYSADDR:0x100120
)

. "$srcdir"/xlat-os-common
