29 lines
621 B
Bash
Executable File
29 lines
621 B
Bash
Executable File
#!/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"
|