https://github.com/AdaCore/bb-runtimes

Source repository for the GNAT Bare Metal BSPs
https://github.com/AdaCore/bb-runtimes

Last synced: 2 months 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 (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2024-04-25T17:54:32.000Z (2 months ago)
• Last Synced: 2024-04-26T17:06:26.428Z (2 months ago)
• Language: Ada
• Size: 4.88 MB
• Stars: 61
• Watchers: 19
• Forks: 48
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • Changelog: Changes
  • Contributing: CONTRIBUTING.md
  • License: COPYING.RUNTIME
  • Support: support/__init__.py

Lists

• awesome-ada - bb-runtimes - GNAT bare metal board support package (BSP). (Runtimes / Continuous Integration)
• 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

```