config TEN64_CONTROLLER
	bool "Enable Ten64 board controller driver"
	depends on TARGET_TEN64
	help
		Support for the board microcontroller on the Traverse
		Ten64 family of boards.
