/include/config/ALTERA_TSE