1config TEN64_CONTROLLER
2	bool "Enable Ten64 board controller driver"
3	depends on TARGET_TEN64
4	help
5		Support for the board microcontroller on the Traverse
6		Ten64 family of boards.
7