RTEMS | Draft: Import specification items with history from rtems-central (!1115)

[Sebastian Huber (@sebhub)]

Sebastian Huber created a merge request: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1115

Project:Branches: sebhub/rtems:spec-v4 to rtems/rtos/rtems:main
Author:   Sebastian Huber
Assignee: Sebastian Huber


# RTEMS Specification Items

Import the RTEMS specification items from [rtems-central](https://gitlab.rtems.org/rtems/prequal/rtems-central/).
The Python [specware](https://pypi.org/project/specware/) package is used to
generate content from the specification. To goal if this import is to simplify the work flows involving specification items, see also https://gitlab.rtems.org/rtems/prequal/rtems-central/-/issues/8.

There are more than 1000 change sets in rtems-central. About 700 have been collapsed into the initial import change set which reflects the associated with the RTEMS Qualification Data Package version 4 as published by the European Space Agency. It was the first public release of an ECSS pre-qualified RTEMS with SMP support.

## Getting Started

Use the [uv package and project manager](https://docs.astral.sh/uv/) to install
the virtual Python environment with the tools:
```
$ uv sync
```

## Specification Items

The
[specification items](https://docs.rtems.org/docs/main/eng/req/items.html)
are located in the `spec` directories.  You can use a text
editor to work with them.

## Export the Specification

The command line tool `specwareexport` generates content from the
specification.  The tool is configured by the `specware.yml` configuration file. The RTEMS documentation sources have to be checked out at `../rtems-docs`.

Example:
```
$ uv run specwareexport
```

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/rtos/rtems/-/merge_requests/1115
You're receiving this email because of your account on gitlab.rtems.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20260310/a928c22d/attachment.htm>