FreeRTOS Guest

Setup an environment variable for the FreeRTOS repo:

export BAO_DEMOS_FREERTOS=$BAO_DEMOS_WRKDIR_SRC/freertos

Then clone and build the FreeRTOS:

git clone --recursive --shallow-submodules\
    https://github.com/bao-project/freertos-over-bao.git\
    $BAO_DEMOS_FREERTOS --branch demo
make -C $BAO_DEMOS_FREERTOS PLATFORM=$PLATFORM $FREERTOS_PARAMS

Finally, copy the FreeRTOS image to the final guest image directory:

cp $BAO_DEMOS_FREERTOS/build/$PLATFORM/freertos.bin $BAO_DEMOS_WRKDIR_IMGS