Skip to content

Commit c550227

Browse files
Merge pull request #274 from riscv-software-src/273-restore-name-of-mockcertificatemodel
Restored MockCertificateModel and relaxed schema that was too rigid.
2 parents 1ffe6d8 + 6c753f5 commit c550227

File tree

5 files changed

+4
-10
lines changed

5 files changed

+4
-10
lines changed

Rakefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -287,7 +287,7 @@ task :regress do
287287
ENV["VERSIONS"] = "all"
288288
Rake::Task["gen:html_manual"].invoke
289289
Rake::Task["gen:html"].invoke("generic_rv64")
290-
Rake::Task["#{$root}/gen/certificate_doc/pdf/MockCertificateModel100.pdf"].invoke
290+
Rake::Task["#{$root}/gen/certificate_doc/pdf/MockCertificateModel.pdf"].invoke
291291
Rake::Task["#{$root}/gen/certificate_doc/pdf/MC100.pdf"].invoke
292292
Rake::Task["#{$root}/gen/profile_doc/pdf/MockProfileRelease.pdf"].invoke
293293
Rake::Task["#{$root}/gen/profile_doc/pdf/RVA20.pdf"].invoke

arch/certificate_class/MockCertificateClass.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ introduction: |
1010
1111
naming_scheme: |
1212
Here's the Mock Certificate Class naming scheme.
13+
A Mock certificate class or model can have any name as long as it can be a hash key.
1314
1415
mandatory_priv_modes:
1516
- M

arch/certificate_model/MC100.yaml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@ name: MC100
66
long_name: Basic Microcontroller Certificate
77
class:
88
$ref: certificate_class/MC.yaml#
9-
model: 100
109

1110
# Semantic versions within the model
1211
versions:

arch/certificate_model/MockCertificateModel100.yaml renamed to arch/certificate_model/MockCertificateModel.yaml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,10 @@
22

33
$schema: cert_model_schema.json#
44
kind: certificate model
5-
name: MockCertificateModel100
5+
name: MockCertificateModel
66
long_name: Mock Certificate Model Long Name
77
class:
88
$ref: certificate_class/MockCertificateClass.yaml#
9-
model: 100
109

1110
# XLEN used by rakefile
1211
base: 64

schemas/cert_model_schema.json

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@
1515
},
1616
"name": {
1717
"type": "string",
18-
"pattern": "^[A-Z][a-zA-Z_]*[0-9]+$",
18+
"pattern": "^[A-Z][a-zA-Z0-9_]*$",
1919
"description": "The short name of the model, used as a database key"
2020
},
2121
"long_name": {
@@ -32,11 +32,6 @@
3232
},
3333
"description": "Reference to the class this model belongs to"
3434
},
35-
"model": {
36-
"type": "integer",
37-
"minimum": 0,
38-
"description": "Model number"
39-
},
4035
"versions": {
4136
"type": "array",
4237
"items": {

0 commit comments

Comments
 (0)