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