The DSK/EVM 6482 and 6455 share CPLD code.