Proves Core Reference Project

This is a reference software implementation for the Proves Kit.

System Requirements

• F Prime System Requirements listed here
• Zephyr dependencies listed here (NOTE: Only complete the install dependencies step, as we run through the rest of the steps in this readme.)

Installation

First, clone the Proves Core Reference repository.

git clone https://github.com/Open-Source-Space-Foundation/proves-core-reference

Next, navigate to the proves-core-reference directory and run make to set up the project.

cd proves-core-reference
make

Running the code

Run generate from the proves-core-reference directory. This generates the build cache for FPrime. You only need to do generate if something in the core FPrime package has changed

make generate

Then, and every time you change code, run

make build

Find the path to your board

Next, plug in your board! If you have previously installed a firmware on your board you may not see it show up as a drive. In that case you'll want to put the board into boot loader mode. Then you'll be able to find the location of the board on your computer. It should be called something like RP2350 but you want to find the path to it

For Mac:

ls -lah /Volumes

For Windows: Check the letter said to be the mount (ex /d/) and then the name of the removable drive (ex /d/RP2350)

For Linux:

findmnt

Now you want to install the firmware to the board.

cp build-artifacts/zephyr.uf2 [path-to-your-board]

Finally, run the fprime-gds.

make gds

Running Integration Tests

First, start GDS with:

make gds

Then, in another terminal, run the following command to execute the integration tests:

make test-integration