https://github.com/AdaCore/bb-runtimes
Source repository for the GNAT Bare Metal BSPs
https://github.com/AdaCore/bb-runtimes
Last synced: about 1 month ago
JSON representation
Source repository for the GNAT Bare Metal BSPs
- Host: GitHub
- URL: https://github.com/AdaCore/bb-runtimes
- Owner: AdaCore
- License: other
- Created: 2017-07-27T08:14:01.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2024-10-24T13:22:36.000Z (6 months ago)
- Last Synced: 2024-10-25T09:09:01.541Z (6 months ago)
- Language: Ada
- Size: 4.93 MB
- Stars: 65
- Watchers: 21
- Forks: 51
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- Changelog: Changes
- Contributing: CONTRIBUTING.md
- License: COPYING.RUNTIME
- Support: support/__init__.py
Awesome Lists containing this project
- awesome-ada - bb-runtimes - GNAT bare metal board support package (BSP). (Runtimes / Continuous Integration)
README
# bb-runtimes
This repository is used to generate the runtime source trees for AdaCore's
bare metal targets.
## dependencies
This repository depends on both gcc and gnat repositories to generate a full
runtime. However it can also use the sources from an installed compiler and
rely on those to just generate the BSP part of the runtime.
You need GNAT Pro 21.0w 20200327 or GNAT Community 2020 minimum to use
this repository to generate runtimes.
## generation of runtimes
```
./build_rts.py --output=temp --build ...
```
The list of supported boards is listed in build_rts.py within build_configs.
The above call with generate the runtimes for in 'temp'
and will build them, assuming the proper compiler is in the PATH.
To install the runtime in the compiler's default location, you will thus
need to specify
```
./build_rts.py --output //lib/gnat` ...
```
So for example --output /opt/gnat/arm-eabi/lib/gnat
## rebuild of a runtime
To build a runtime with non default options, use the project file present in
the runtime folder: runtime_build.gpr for the Light runtimes and
ravenscar_build.gpr for Tasking and Embedded runtimes.
To build with debug options, use -XBUILD=Debug ; to build with assertions use
-XBUILD=Assert.
So for example to rebuild the ravenscar-sfp-stm32f4 runtime with debug
information, assuming GNAT is installed in ~/install/gnat, run the following:
```
gprbuild -P ~/install/gnat/arm-eabi/lib/gnat/ravenscar-sfp-stm32f4/ravenscar-build.gpr -XBUILD=Debug
```