#
#	SHARK_EXPORT
#
# Shark kernel for export to third parties.

include	"arch/arm32/conf/SHARK"

options		BOOT_QUIETLY	# twiddle instead of normal boot msg output
options		X_CGA_BUG	# switch to/from CGA mode in kernel, not X
