echo "KGITREPO=$KERNEL_REPO" >> properties.txt
echo "LTTNG_MODULES_REPO=$LTTNG_MODULES_REPO" >> properties.txt
echo "STORAGE_KERNEL_FOLDER=$BASE_STORAGE_FOLDER/kernel" >> properties.txt
echo "KGITREPO=$KERNEL_REPO" >> properties.txt
echo "LTTNG_MODULES_REPO=$LTTNG_MODULES_REPO" >> properties.txt
echo "STORAGE_KERNEL_FOLDER=$BASE_STORAGE_FOLDER/kernel" >> properties.txt