Skip to content

ucgosupl/bb-runtimes

community-2018
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code
This branch is up to date with AdaCore/bb-runtimes:community-2018.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
arm
 
 
 
 
 
 
 
 
 
 
 
 
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

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.

generation of BSPs

./build-rts.py --output=temp --bsps-only <board1> <board2> ...

The list of supported boards is listed in build-rts.py within build_configs.

building and installing a runtime

Once a BSP is generated, make sure you have setup a GNAT compiler for the board's target, and call gprbuild/gprinstall

gprbuild -P temp/BSPs/<rts_project>.gpr -j0 -f
gprinstall -P temp/BSPs/<rts_project>.gpr -p -f

where -P specified the project file, -j0 specifies to build using all CPUs available on the host, -f forces a full project build.

rts with debug information

To build a runtime with debug information, you can set the scenario variable BUILD to Debug:

gprbuild -P temp/BSPs/<rts_project>.gpr -j0 -XBUILD=Debug -f

About

Source repository for the GNAT Bare Metal BSPs

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Ada 72.4%
  • Assembly 20.6%
  • Python 4.5%
  • C 1.4%
  • Shell 0.7%
  • Makefile 0.3%
  • C++ 0.1%