Skip to content

Source repository for the GNAT Bare Metal BSPs

License

Notifications You must be signed in to change notification settings

cranixx/bb-runtimes

This branch is up to date with AdaCore/bb-runtimes:gpl-2017.

Folders and files

NameName
Last commit message
Last commit date
Jul 26, 2017
Jul 26, 2017
Jul 26, 2017
Feb 10, 2017
Mar 9, 2017
Feb 2, 2017
Mar 25, 2017
Mar 27, 2017
Jul 26, 2017
Sep 19, 2014
Jan 27, 2017
Jul 26, 2017
Jul 27, 2017
Jul 27, 2017
Jul 27, 2017
Sep 19, 2014
Mar 27, 2017
Jul 26, 2017
Dec 14, 2016
Jul 26, 2017
Aug 1, 2017
Nov 12, 2014

Repository files navigation

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 intalling 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 70.2%
  • Assembly 17.1%
  • Pascal 6.2%
  • Python 5.0%
  • Shell 1.1%
  • Makefile 0.2%
  • C 0.2%