#! /bin/bash

#
# Check Linux 64k page PPC64 translation
#

opts=(
    arch=ppc64
    ostype=linux
    page_shift=16
)

. "$srcdir"/xlat-os-common
