Hi to all. I'm searching for some information of how i can configure the CPLD of the DSK C5402. If the file exist, tell me please where can i get it. Thanks you.