# Compute s390x-specific values

CT_DoArchTupleValues() {
    # The kernel architecture is the same name as for the 32-bit version:
    CT_KERNEL_ARCH="s390"
}