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.