include GENERIC

ident		SUNC3D

options 	KDB			#Enable kernel debugger support
options 	DDB			#Enable the kernel debugger
options		ALT_BREAK_TO_DEBUGGER
options 	GDB			#Support remote GDB

options		DEVICE_POLLING
options		MROUTING