#! /bin/sh

#
# Check Linux X86_64 translation with ktext fallback to page tables
#

arch=x86_64
ostype=1
osver=0

. "$srcdir"/xlat-os-common
