#! /bin/sh

#
# Check IA32 PAE translation with no OS
#

arch=ia32
opts="levels=3"
ostype=0
osver=0

. "$srcdir"/xlat-os-common
