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.
_______________________________________________ bugs mailing list [email protected] http://lists.rtems.org/mailman/listinfo/bugs
