#!/bin/bash

######################################################
#
# Install FreeRTOS Raspberry Pi Kernel.
# src: https://github.com/raspberrypi/FreeRTOS-Kernel
#
# ex: ./install_freertos.bash
#
######################################################

if [[ -z ${INSTALL_PATH} ]]
then
    INSTALL_PATH=${PWD}
fi

if [[ ! -d ${INSTALL_PATH}/freertos ]]
then
    echo "installing freertos..."
    git clone https://github.com/raspberrypi/FreeRTOS-Kernel ${INSTALL_PATH}/freertos
    if [[ $? != 0 ]]
    then
        echo "error: unable to clone freertos"
        exit 1
    fi
fi

echo "freertos installation completed"