Jetson TK 1 Development Kit 940-7R375-000 I -000

A customer of mine recently purchased the above. However it is now end of life. Could someone suggest a
n alternative or next generation dev kit?