T4080 is a single core cluster variant of T4240(3 clusters) and T4160(2 clusters). T4080 is smaller version of T4160. T4080 has four dual threaded Power Architecture e6500 cores with the same two memory complexes(CoreNet platform cache and DDR3 memory controller) with the same high-performance datapath acceleration, networking, and peripheral bus interfaces.
So the customer could use T4160 CodeWarrior project to connect to T4080 board. Please refer to the attached initialization file, only reducing the number of cores is needed.