#! /bin/sh
type=single
set_disk_set=0
ia32_efer=0000000000000001	# NXE
arch=ia32
. "$srcdir"/sadump-basic
exit 0
