Profile Schema
:::note Auto-generated
This page is generated from profile_schema.json by the schema doc generator. To update this page, edit the schema file and run bin/chore gen schema-docs.
:::
Properties
| Property | Type | Required | Description |
|---|---|---|---|
$schema | any | ✓ | |
kind | any | ✓ | |
name | string | ✓ | Name (database key) of this Profile |
long_name | string | ✓ | One line description of profile |
base | integer | ✓ | 32 for RV32I or 64 for RV64I |
extensions | object | ||
extra_notes | Array<{text, presence}> ↓ schema | ||
recommendations | Array<{text}> ↓ schema | ||
introduction | string | ||
release | object | ||
mode | M | S | U | Unpriv | ||
marketing_name | string | ||
requirements | A condition (YAML structure or IDL function). See the conditions reference for details. | ||
$child_of | string | ||
$parent_of | string | ||
$inherits | string |
:::note Tooling field
$source is an optional field set automatically by UDB tooling to record the file path this object was loaded from. You do not need to set it manually.
:::
Schema Information
| Property | Value |
|---|---|
| Version | v0.1 |
| JSON Schema Version | Draft 07 |