Compatibility of TPX with z13 Hardware