Condividi tramite


Microsoft.RedHatOpenShift openShiftClusters 2024-08-12-preview

Definizione di risorsa Bicep

Il tipo di risorsa openShiftClusters può essere distribuito con operazioni destinate a:

  • gruppi di risorse - Vedere i comandi di distribuzione del gruppo di risorse

Per un elenco delle proprietà modificate in ogni versione dell'API, vedere log delle modifiche.

Formato risorsa

Per creare una risorsa Microsoft.RedHatOpenShift/openShiftClusters, aggiungere il bicep seguente al modello.

resource symbolicname 'Microsoft.RedHatOpenShift/openShiftClusters@2024-08-12-preview' = {
  identity: {
    type: 'string'
    userAssignedIdentities: {
      {customized property}: {}
    }
  }
  location: 'string'
  name: 'string'
  properties: {
    apiserverProfile: {
      visibility: 'string'
    }
    clusterProfile: {
      domain: 'string'
      fipsValidatedModules: 'string'
      oidcIssuer: 'string'
      pullSecret: 'string'
      resourceGroupId: 'string'
      version: 'string'
    }
    consoleProfile: {}
    ingressProfiles: [
      {
        name: 'string'
        visibility: 'string'
      }
    ]
    masterProfile: {
      diskEncryptionSetId: 'string'
      encryptionAtHost: 'string'
      subnetId: 'string'
      vmSize: 'string'
    }
    networkProfile: {
      loadBalancerProfile: {
        managedOutboundIps: {
          count: int
        }
      }
      outboundType: 'string'
      podCidr: 'string'
      preconfiguredNSG: 'string'
      serviceCidr: 'string'
    }
    platformWorkloadIdentityProfile: {
      platformWorkloadIdentities: {
        {customized property}: {
          resourceId: 'string'
        }
      }
      upgradeableTo: 'string'
    }
    provisioningState: 'string'
    servicePrincipalProfile: {
      clientId: 'string'
      clientSecret: 'string'
    }
    workerProfiles: [
      {
        count: int
        diskEncryptionSetId: 'string'
        diskSizeGB: int
        encryptionAtHost: 'string'
        name: 'string'
        subnetId: 'string'
        vmSize: 'string'
      }
    ]
  }
  tags: {
    {customized property}: 'string'
  }
}

Valori delle proprietà

APIServerProfile

Nome Descrizione Valore
visibilità Visibilità del server API. 'Privato'
'Pubblico'

ClusterProfile

Nome Descrizione Valore
dominio Dominio per il cluster. corda
fipsValidatedModules Se vengono usati moduli di crittografia convalidati FIPS 'Disabilitato'
'Enabled'
oidcIssuer URL dell'autorità emittente OIDC gestita in un cluster di identità del carico di lavoro. corda
pullSecret Segreto di pull per il cluster. corda
resourceGroupId ID del gruppo di risorse del cluster. corda
Versione Versione del cluster. corda

ConsoleProfile

Nome Descrizione Valore

IngressProfile

Nome Descrizione Valore
nome Nome del profilo in ingresso. corda
visibilità Visibilità in ingresso. 'Privato'
'Pubblico'

LoadBalancerProfile

Nome Descrizione Valore
managedOutboundIps Indirizzi IP in uscita gestiti desiderati per il servizio di bilanciamento del carico pubblico del cluster. managedoutboundIPs

ManagedOutboundIPs

Nome Descrizione Valore
contare Count rappresenta il numero desiderato di INDIRIZZI IP in uscita IPv4 creati e gestiti da Azure per il servizio di bilanciamento del carico pubblico del cluster. I valori consentiti sono compresi nell'intervallo compreso tra 1 e 20. Il valore predefinito è 1. Int

ManagedServiceIdentity

Nome Descrizione Valore
digitare Tipo di identità del servizio gestito (in cui sono consentiti sia i tipi SystemAssigned che UserAssigned). 'Nessuno'
'SystemAssigned'
'SystemAssigned,UserAssigned'
'UserAssigned' (obbligatorio)
userAssignedIdentities Set di identità assegnate dall'utente associate alla risorsa. Le chiavi del dizionario userAssignedIdentities saranno ID risorsa ARM nel formato : '/subscriptions/{subscriptionId}/resourceGroups/{resourceGroupName}/providers/Microsoft.ManagedIdentity/userAssignedIdentities/{identityName}. I valori del dizionario possono essere oggetti vuoti ({}) nelle richieste. ManagedServiceIdentityUserAssignedIdentities

ManagedServiceIdentityUserAssignedIdentities

Nome Descrizione Valore

MasterProfile

Nome Descrizione Valore
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
subnetId ID risorsa di Azure della subnet master. corda
vmSize Dimensioni delle macchine virtuali master. corda

Microsoft.RedHatOpenShift/openShiftClusters

Nome Descrizione Valore
identità L'identità archivia le informazioni sull'identità del cluster in un cluster di identità del carico di lavoro. ManagedServiceIdentity
ubicazione Posizione geografica in cui risiede la risorsa stringa (obbligatorio)
nome Nome della risorsa stringa (obbligatorio)
proprietà Proprietà del cluster. OpenShiftClusterProperties
Tag Tag delle risorse Dizionario di nomi e valori di tag. Vedere tag nei modelli

NetworkProfile

Nome Descrizione Valore
loadBalancerProfile Profilo del servizio di bilanciamento del carico del cluster. LoadBalancerProfile
outboundType OutboundType usato per il traffico in uscita. 'Loadbalancer'
'UserDefinedRouting'
podCidr CIDR usato per i pod OpenShift/Kubernetes. corda
preconfiguredNSG Specifica se le subnet sono pre-collegate con un gruppo di sicurezza di rete 'Disabilitato'
'Enabled'
serviceCidr CIDR usato per i servizi OpenShift/Kubernetes. corda

OpenShiftClusterProperties

Nome Descrizione Valore
apiserverProfile Profilo del server DELL'API del cluster. APIServerProfile
clusterProfile Profilo del cluster. ClusterProfile
consoleProfile Profilo della console. ConsoleProfile
ingressProfiles Profili di ingresso del cluster. IngressProfile[]
masterProfile Profilo master del cluster. MasterProfile
networkProfile Profilo di rete del cluster. NetworkProfile
platformWorkloadIdentityProfile Profilo di identità del carico di lavoro. PlatformWorkloadIdentityProfile
provisioningState Stato del provisioning del cluster. 'AdminUpdating'
'Annullato'
'Creazione'
'Eliminazione'
'Failed'
'Succeeded'
'Aggiornamento'
servicePrincipalProfile Profilo dell'entità servizio del cluster. ServicePrincipalProfile
workerProfiles Profili di lavoro del cluster. WorkerProfile[]

PlatformWorkloadIdentity

Nome Descrizione Valore
resourceId ID risorsa della risorsa PlatformWorkloadIdentity corda

PlatformWorkloadIdentityProfile

Nome Descrizione Valore
platformWorkloadIdentities Dizionario di <PlatformWorkloadIdentity> PlatformWorkloadIdentityProfilePlatformWorkloadIdentities
upgradeableTo UpgradeableTo archivia una singola versione di OpenShift a cui è possibile aggiornare un cluster di identità del carico di lavoro corda

PlatformWorkloadIdentityProfilePlatformWorkloadIdentities

Nome Descrizione Valore

ServicePrincipalProfile

Nome Descrizione Valore
clientId ID client usato per il cluster. corda
clientSecret Segreto client usato per il cluster. corda

TrackedResourceTags

Nome Descrizione Valore

UserAssignedIdentity

Nome Descrizione Valore

WorkerProfile

Nome Descrizione Valore
contare Numero di macchine virtuali di lavoro. Int
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
diskSizeGB Dimensioni del disco delle macchine virtuali di lavoro. Int
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
nome Nome del profilo di lavoro. corda
subnetId ID risorsa di Azure della subnet del ruolo di lavoro. corda
vmSize Dimensioni delle macchine virtuali del ruolo di lavoro. corda

Definizione di risorsa del modello di Resource Manager

Il tipo di risorsa openShiftClusters può essere distribuito con operazioni destinate a:

  • gruppi di risorse - Vedere i comandi di distribuzione del gruppo di risorse

Per un elenco delle proprietà modificate in ogni versione dell'API, vedere log delle modifiche.

Formato risorsa

Per creare una risorsa Microsoft.RedHatOpenShift/openShiftClusters, aggiungere il codice JSON seguente al modello.

{
  "type": "Microsoft.RedHatOpenShift/openShiftClusters",
  "apiVersion": "2024-08-12-preview",
  "name": "string",
  "identity": {
    "type": "string",
    "userAssignedIdentities": {
      "{customized property}": {
      }
    }
  },
  "location": "string",
  "properties": {
    "apiserverProfile": {
      "visibility": "string"
    },
    "clusterProfile": {
      "domain": "string",
      "fipsValidatedModules": "string",
      "oidcIssuer": "string",
      "pullSecret": "string",
      "resourceGroupId": "string",
      "version": "string"
    },
    "consoleProfile": {
    },
    "ingressProfiles": [
      {
        "name": "string",
        "visibility": "string"
      }
    ],
    "masterProfile": {
      "diskEncryptionSetId": "string",
      "encryptionAtHost": "string",
      "subnetId": "string",
      "vmSize": "string"
    },
    "networkProfile": {
      "loadBalancerProfile": {
        "managedOutboundIps": {
          "count": "int"
        }
      },
      "outboundType": "string",
      "podCidr": "string",
      "preconfiguredNSG": "string",
      "serviceCidr": "string"
    },
    "platformWorkloadIdentityProfile": {
      "platformWorkloadIdentities": {
        "{customized property}": {
          "resourceId": "string"
        }
      },
      "upgradeableTo": "string"
    },
    "provisioningState": "string",
    "servicePrincipalProfile": {
      "clientId": "string",
      "clientSecret": "string"
    },
    "workerProfiles": [
      {
        "count": "int",
        "diskEncryptionSetId": "string",
        "diskSizeGB": "int",
        "encryptionAtHost": "string",
        "name": "string",
        "subnetId": "string",
        "vmSize": "string"
      }
    ]
  },
  "tags": {
    "{customized property}": "string"
  }
}

Valori delle proprietà

APIServerProfile

Nome Descrizione Valore
visibilità Visibilità del server API. 'Privato'
'Pubblico'

ClusterProfile

Nome Descrizione Valore
dominio Dominio per il cluster. corda
fipsValidatedModules Se vengono usati moduli di crittografia convalidati FIPS 'Disabilitato'
'Enabled'
oidcIssuer URL dell'autorità emittente OIDC gestita in un cluster di identità del carico di lavoro. corda
pullSecret Segreto di pull per il cluster. corda
resourceGroupId ID del gruppo di risorse del cluster. corda
Versione Versione del cluster. corda

ConsoleProfile

Nome Descrizione Valore

IngressProfile

Nome Descrizione Valore
nome Nome del profilo in ingresso. corda
visibilità Visibilità in ingresso. 'Privato'
'Pubblico'

LoadBalancerProfile

Nome Descrizione Valore
managedOutboundIps Indirizzi IP in uscita gestiti desiderati per il servizio di bilanciamento del carico pubblico del cluster. managedoutboundIPs

ManagedOutboundIPs

Nome Descrizione Valore
contare Count rappresenta il numero desiderato di INDIRIZZI IP in uscita IPv4 creati e gestiti da Azure per il servizio di bilanciamento del carico pubblico del cluster. I valori consentiti sono compresi nell'intervallo compreso tra 1 e 20. Il valore predefinito è 1. Int

ManagedServiceIdentity

Nome Descrizione Valore
digitare Tipo di identità del servizio gestito (in cui sono consentiti sia i tipi SystemAssigned che UserAssigned). 'Nessuno'
'SystemAssigned'
'SystemAssigned,UserAssigned'
'UserAssigned' (obbligatorio)
userAssignedIdentities Set di identità assegnate dall'utente associate alla risorsa. Le chiavi del dizionario userAssignedIdentities saranno ID risorsa ARM nel formato : '/subscriptions/{subscriptionId}/resourceGroups/{resourceGroupName}/providers/Microsoft.ManagedIdentity/userAssignedIdentities/{identityName}. I valori del dizionario possono essere oggetti vuoti ({}) nelle richieste. ManagedServiceIdentityUserAssignedIdentities

ManagedServiceIdentityUserAssignedIdentities

Nome Descrizione Valore

MasterProfile

Nome Descrizione Valore
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
subnetId ID risorsa di Azure della subnet master. corda
vmSize Dimensioni delle macchine virtuali master. corda

Microsoft.RedHatOpenShift/openShiftClusters

Nome Descrizione Valore
apiVersion Versione dell'API '2024-08-12-preview'
identità L'identità archivia le informazioni sull'identità del cluster in un cluster di identità del carico di lavoro. ManagedServiceIdentity
ubicazione Posizione geografica in cui risiede la risorsa stringa (obbligatorio)
nome Nome della risorsa stringa (obbligatorio)
proprietà Proprietà del cluster. OpenShiftClusterProperties
Tag Tag delle risorse Dizionario di nomi e valori di tag. Vedere tag nei modelli
digitare Tipo di risorsa 'Microsoft.RedHatOpenShift/openShiftClusters'

NetworkProfile

Nome Descrizione Valore
loadBalancerProfile Profilo del servizio di bilanciamento del carico del cluster. LoadBalancerProfile
outboundType OutboundType usato per il traffico in uscita. 'Loadbalancer'
'UserDefinedRouting'
podCidr CIDR usato per i pod OpenShift/Kubernetes. corda
preconfiguredNSG Specifica se le subnet sono pre-collegate con un gruppo di sicurezza di rete 'Disabilitato'
'Enabled'
serviceCidr CIDR usato per i servizi OpenShift/Kubernetes. corda

OpenShiftClusterProperties

Nome Descrizione Valore
apiserverProfile Profilo del server DELL'API del cluster. APIServerProfile
clusterProfile Profilo del cluster. ClusterProfile
consoleProfile Profilo della console. ConsoleProfile
ingressProfiles Profili di ingresso del cluster. IngressProfile[]
masterProfile Profilo master del cluster. MasterProfile
networkProfile Profilo di rete del cluster. NetworkProfile
platformWorkloadIdentityProfile Profilo di identità del carico di lavoro. PlatformWorkloadIdentityProfile
provisioningState Stato del provisioning del cluster. 'AdminUpdating'
'Annullato'
'Creazione'
'Eliminazione'
'Failed'
'Succeeded'
'Aggiornamento'
servicePrincipalProfile Profilo dell'entità servizio del cluster. ServicePrincipalProfile
workerProfiles Profili di lavoro del cluster. WorkerProfile[]

PlatformWorkloadIdentity

Nome Descrizione Valore
resourceId ID risorsa della risorsa PlatformWorkloadIdentity corda

PlatformWorkloadIdentityProfile

Nome Descrizione Valore
platformWorkloadIdentities Dizionario di <PlatformWorkloadIdentity> PlatformWorkloadIdentityProfilePlatformWorkloadIdentities
upgradeableTo UpgradeableTo archivia una singola versione di OpenShift a cui è possibile aggiornare un cluster di identità del carico di lavoro corda

PlatformWorkloadIdentityProfilePlatformWorkloadIdentities

Nome Descrizione Valore

ServicePrincipalProfile

Nome Descrizione Valore
clientId ID client usato per il cluster. corda
clientSecret Segreto client usato per il cluster. corda

TrackedResourceTags

Nome Descrizione Valore

UserAssignedIdentity

Nome Descrizione Valore

WorkerProfile

Nome Descrizione Valore
contare Numero di macchine virtuali di lavoro. Int
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
diskSizeGB Dimensioni del disco delle macchine virtuali di lavoro. Int
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
nome Nome del profilo di lavoro. corda
subnetId ID risorsa di Azure della subnet del ruolo di lavoro. corda
vmSize Dimensioni delle macchine virtuali del ruolo di lavoro. corda

Definizione di risorsa Terraform (provider AzAPI)

Il tipo di risorsa openShiftClusters può essere distribuito con operazioni destinate a:

  • gruppi di risorse

Per un elenco delle proprietà modificate in ogni versione dell'API, vedere log delle modifiche.

Formato risorsa

Per creare una risorsa Microsoft.RedHatOpenShift/openShiftClusters, aggiungere il codice Terraform seguente al modello.

resource "azapi_resource" "symbolicname" {
  type = "Microsoft.RedHatOpenShift/openShiftClusters@2024-08-12-preview"
  name = "string"
  identity = {
    type = "string"
    userAssignedIdentities = {
      {customized property} = {
      }
    }
  }
  location = "string"
  tags = {
    {customized property} = "string"
  }
  body = jsonencode({
    properties = {
      apiserverProfile = {
        visibility = "string"
      }
      clusterProfile = {
        domain = "string"
        fipsValidatedModules = "string"
        oidcIssuer = "string"
        pullSecret = "string"
        resourceGroupId = "string"
        version = "string"
      }
      consoleProfile = {
      }
      ingressProfiles = [
        {
          name = "string"
          visibility = "string"
        }
      ]
      masterProfile = {
        diskEncryptionSetId = "string"
        encryptionAtHost = "string"
        subnetId = "string"
        vmSize = "string"
      }
      networkProfile = {
        loadBalancerProfile = {
          managedOutboundIps = {
            count = int
          }
        }
        outboundType = "string"
        podCidr = "string"
        preconfiguredNSG = "string"
        serviceCidr = "string"
      }
      platformWorkloadIdentityProfile = {
        platformWorkloadIdentities = {
          {customized property} = {
            resourceId = "string"
          }
        }
        upgradeableTo = "string"
      }
      provisioningState = "string"
      servicePrincipalProfile = {
        clientId = "string"
        clientSecret = "string"
      }
      workerProfiles = [
        {
          count = int
          diskEncryptionSetId = "string"
          diskSizeGB = int
          encryptionAtHost = "string"
          name = "string"
          subnetId = "string"
          vmSize = "string"
        }
      ]
    }
  })
}

Valori delle proprietà

APIServerProfile

Nome Descrizione Valore
visibilità Visibilità del server API. 'Privato'
'Pubblico'

ClusterProfile

Nome Descrizione Valore
dominio Dominio per il cluster. corda
fipsValidatedModules Se vengono usati moduli di crittografia convalidati FIPS 'Disabilitato'
'Enabled'
oidcIssuer URL dell'autorità emittente OIDC gestita in un cluster di identità del carico di lavoro. corda
pullSecret Segreto di pull per il cluster. corda
resourceGroupId ID del gruppo di risorse del cluster. corda
Versione Versione del cluster. corda

ConsoleProfile

Nome Descrizione Valore

IngressProfile

Nome Descrizione Valore
nome Nome del profilo in ingresso. corda
visibilità Visibilità in ingresso. 'Privato'
'Pubblico'

LoadBalancerProfile

Nome Descrizione Valore
managedOutboundIps Indirizzi IP in uscita gestiti desiderati per il servizio di bilanciamento del carico pubblico del cluster. managedoutboundIPs

ManagedOutboundIPs

Nome Descrizione Valore
contare Count rappresenta il numero desiderato di INDIRIZZI IP in uscita IPv4 creati e gestiti da Azure per il servizio di bilanciamento del carico pubblico del cluster. I valori consentiti sono compresi nell'intervallo compreso tra 1 e 20. Il valore predefinito è 1. Int

ManagedServiceIdentity

Nome Descrizione Valore
digitare Tipo di identità del servizio gestito (in cui sono consentiti sia i tipi SystemAssigned che UserAssigned). 'Nessuno'
'SystemAssigned'
'SystemAssigned,UserAssigned'
'UserAssigned' (obbligatorio)
userAssignedIdentities Set di identità assegnate dall'utente associate alla risorsa. Le chiavi del dizionario userAssignedIdentities saranno ID risorsa ARM nel formato : '/subscriptions/{subscriptionId}/resourceGroups/{resourceGroupName}/providers/Microsoft.ManagedIdentity/userAssignedIdentities/{identityName}. I valori del dizionario possono essere oggetti vuoti ({}) nelle richieste. ManagedServiceIdentityUserAssignedIdentities

ManagedServiceIdentityUserAssignedIdentities

Nome Descrizione Valore

MasterProfile

Nome Descrizione Valore
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
subnetId ID risorsa di Azure della subnet master. corda
vmSize Dimensioni delle macchine virtuali master. corda

Microsoft.RedHatOpenShift/openShiftClusters

Nome Descrizione Valore
identità L'identità archivia le informazioni sull'identità del cluster in un cluster di identità del carico di lavoro. ManagedServiceIdentity
ubicazione Posizione geografica in cui risiede la risorsa stringa (obbligatorio)
nome Nome della risorsa stringa (obbligatorio)
proprietà Proprietà del cluster. OpenShiftClusterProperties
Tag Tag delle risorse Dizionario di nomi e valori di tag.
digitare Tipo di risorsa "Microsoft.RedHatOpenShift/openShiftClusters@2024-08-12-preview"

NetworkProfile

Nome Descrizione Valore
loadBalancerProfile Profilo del servizio di bilanciamento del carico del cluster. LoadBalancerProfile
outboundType OutboundType usato per il traffico in uscita. 'Loadbalancer'
'UserDefinedRouting'
podCidr CIDR usato per i pod OpenShift/Kubernetes. corda
preconfiguredNSG Specifica se le subnet sono pre-collegate con un gruppo di sicurezza di rete 'Disabilitato'
'Enabled'
serviceCidr CIDR usato per i servizi OpenShift/Kubernetes. corda

OpenShiftClusterProperties

Nome Descrizione Valore
apiserverProfile Profilo del server DELL'API del cluster. APIServerProfile
clusterProfile Profilo del cluster. ClusterProfile
consoleProfile Profilo della console. ConsoleProfile
ingressProfiles Profili di ingresso del cluster. IngressProfile[]
masterProfile Profilo master del cluster. MasterProfile
networkProfile Profilo di rete del cluster. NetworkProfile
platformWorkloadIdentityProfile Profilo di identità del carico di lavoro. PlatformWorkloadIdentityProfile
provisioningState Stato del provisioning del cluster. 'AdminUpdating'
'Annullato'
'Creazione'
'Eliminazione'
'Failed'
'Succeeded'
'Aggiornamento'
servicePrincipalProfile Profilo dell'entità servizio del cluster. ServicePrincipalProfile
workerProfiles Profili di lavoro del cluster. WorkerProfile[]

PlatformWorkloadIdentity

Nome Descrizione Valore
resourceId ID risorsa della risorsa PlatformWorkloadIdentity corda

PlatformWorkloadIdentityProfile

Nome Descrizione Valore
platformWorkloadIdentities Dizionario di <PlatformWorkloadIdentity> PlatformWorkloadIdentityProfilePlatformWorkloadIdentities
upgradeableTo UpgradeableTo archivia una singola versione di OpenShift a cui è possibile aggiornare un cluster di identità del carico di lavoro corda

PlatformWorkloadIdentityProfilePlatformWorkloadIdentities

Nome Descrizione Valore

ServicePrincipalProfile

Nome Descrizione Valore
clientId ID client usato per il cluster. corda
clientSecret Segreto client usato per il cluster. corda

TrackedResourceTags

Nome Descrizione Valore

UserAssignedIdentity

Nome Descrizione Valore

WorkerProfile

Nome Descrizione Valore
contare Numero di macchine virtuali di lavoro. Int
diskEncryptionSetId ID risorsa di un Oggetto DiskEncryptionSet associato, se applicabile. corda
diskSizeGB Dimensioni del disco delle macchine virtuali di lavoro. Int
encryptionAtHost Indica se le macchine virtuali master vengono crittografate nell'host. 'Disabilitato'
'Enabled'
nome Nome del profilo di lavoro. corda
subnetId ID risorsa di Azure della subnet del ruolo di lavoro. corda
vmSize Dimensioni delle macchine virtuali del ruolo di lavoro. corda