diff options
Diffstat (limited to 'myrpki/myrpki.rnc')
| -rw-r--r-- | myrpki/myrpki.rnc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/myrpki/myrpki.rnc b/myrpki/myrpki.rnc index 8ea93167..288095de 100644 --- a/myrpki/myrpki.rnc +++ b/myrpki/myrpki.rnc @@ -20,6 +20,7 @@ start = element myrpki { roa_request_elt*, child_elt*, parent_elt*, + repository_elt*, bpki_ca_certificate_elt?, bpki_crl_elt?, bpki_bsc_certificate_elt?, @@ -47,6 +48,12 @@ parent_elt = element parent { element bpki_ta { base64 }? } +repository_elt = element repository { + attribute handle { object_handle }, + attribute uri { uri }?, + element bpki_ta { base64 }? +} + bpki_ca_certificate_elt = element bpki_ca_certificate { base64 } bpki_crl_elt = element bpki_crl { base64 } bpki_bsc_certificate_elt = element bpki_bsc_certificate { base64 } |