Skip to content

Commit

Permalink
Merge pull request #274 from riscv-software-src/273-restore-name-of-m…
Browse files Browse the repository at this point in the history
…ockcertificatemodel

Restored MockCertificateModel and relaxed schema that was too rigid.
  • Loading branch information
james-ball-qualcomm authored Nov 16, 2024
2 parents 1ffe6d8 + 6c753f5 commit c550227
Show file tree
Hide file tree
Showing 5 changed files with 4 additions and 10 deletions.
2 changes: 1 addition & 1 deletion Rakefile
Original file line number Diff line number Diff line change
Expand Up @@ -287,7 +287,7 @@ task :regress do
ENV["VERSIONS"] = "all"
Rake::Task["gen:html_manual"].invoke
Rake::Task["gen:html"].invoke("generic_rv64")
Rake::Task["#{$root}/gen/certificate_doc/pdf/MockCertificateModel100.pdf"].invoke
Rake::Task["#{$root}/gen/certificate_doc/pdf/MockCertificateModel.pdf"].invoke
Rake::Task["#{$root}/gen/certificate_doc/pdf/MC100.pdf"].invoke
Rake::Task["#{$root}/gen/profile_doc/pdf/MockProfileRelease.pdf"].invoke
Rake::Task["#{$root}/gen/profile_doc/pdf/RVA20.pdf"].invoke
Expand Down
1 change: 1 addition & 0 deletions arch/certificate_class/MockCertificateClass.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ introduction: |
naming_scheme: |
Here's the Mock Certificate Class naming scheme.
A Mock certificate class or model can have any name as long as it can be a hash key.
mandatory_priv_modes:
- M
1 change: 0 additions & 1 deletion arch/certificate_model/MC100.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ name: MC100
long_name: Basic Microcontroller Certificate
class:
$ref: certificate_class/MC.yaml#
model: 100

# Semantic versions within the model
versions:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,11 +2,10 @@

$schema: cert_model_schema.json#
kind: certificate model
name: MockCertificateModel100
name: MockCertificateModel
long_name: Mock Certificate Model Long Name
class:
$ref: certificate_class/MockCertificateClass.yaml#
model: 100

# XLEN used by rakefile
base: 64
Expand Down
7 changes: 1 addition & 6 deletions schemas/cert_model_schema.json
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
},
"name": {
"type": "string",
"pattern": "^[A-Z][a-zA-Z_]*[0-9]+$",
"pattern": "^[A-Z][a-zA-Z0-9_]*$",
"description": "The short name of the model, used as a database key"
},
"long_name": {
Expand All @@ -32,11 +32,6 @@
},
"description": "Reference to the class this model belongs to"
},
"model": {
"type": "integer",
"minimum": 0,
"description": "Model number"
},
"versions": {
"type": "array",
"items": {
Expand Down

0 comments on commit c550227

Please sign in to comment.