File tree Expand file tree Collapse file tree 5 files changed +4
-10
lines changed Expand file tree Collapse file tree 5 files changed +4
-10
lines changed Original file line number Diff line number Diff 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
Original file line number Diff line number Diff line change @@ -10,6 +10,7 @@ introduction: |
1010
1111naming_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
1415mandatory_priv_modes :
1516- M
Original file line number Diff line number Diff line change @@ -6,7 +6,6 @@ name: MC100
66long_name : Basic Microcontroller Certificate
77class :
88 $ref : certificate_class/MC.yaml#
9- model : 100
109
1110# Semantic versions within the model
1211versions :
Original file line number Diff line number Diff line change 22
33$schema : cert_model_schema.json#
44kind : certificate model
5- name : MockCertificateModel100
5+ name : MockCertificateModel
66long_name : Mock Certificate Model Long Name
77class :
88 $ref : certificate_class/MockCertificateClass.yaml#
9- model : 100
109
1110 # XLEN used by rakefile
1211base : 64
Original file line number Diff line number Diff line change 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" : {
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" : {
You can’t perform that action at this time.
0 commit comments