Skip to content

Latest commit

 

History

History
48 lines (37 loc) · 1.38 KB

README.md

File metadata and controls

48 lines (37 loc) · 1.38 KB
Raw

build2-base build system prototype for CHERI microcontroller development

This is a prototype of a build2-base build system for the CHERI microcontroller development as described in this thread.

This prototype uses the standard GCC/Clang toolchain and maps the concepts in the above description as follows:

  • library -- static library (.a)
  • compartment -- shared library (.so)
  • firmware -- executable
  • loader and scheduler -- generated source files
  • firmware linker script -- generated source file with main()

The files of interest are cherimcu/buildfile which is what the user would write and build/cherimcu.build which contains all the CHERI-specific target types, rules, etc., and which is what CHERI developers would supply to the user.

To try it yourself, get build2, clone this project, and then run b from the project root:

$ git clone https://build2.org/cherimcu.git
$ cd cherimcu
$ b

Or, for the out of source build:

$ cd ..
$ b cherimcu/@cherimcu-out/

Or to configure an out of source build (and also specify the C/C++ toolchain):

$ b configure: cherimcu/@cherimcu-clang/ config.cxx=clang++
$ b cherimcu-clang/
$ cd cherimcu-clang/
$ b