Manual Schema
Auto-generated
This page is generated from manual_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 manual |
long_name | string | ✓ | One line description of the manual |
marketing_name | string | The publicly displayed manual name | |
state | Ratification state of a specification or extension version: development (actively being worked on), frozen (feature-complete, under review), public-review (open for public comment), ratification-ready (approved by the task group, awaiting board vote), ratified (officially approved by RISC-V International), or nonstandard-released (released but not part of the RISC-V standard). | State of this version | |
url | string | URL to the repository | |
license | License that applies to the textual documentation for this extension |
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 |