start uboot and launch Kernel on RPI3

TG-07 #closed.

bsp/board/domo/scripts/post-build.sh

@@ -13,7 +13,7 @@ function error {
 set -e
 trap error ERR
 
-echo "==>   Raspberry post-build:"
+echo "==>   Domo post-build:"
 
 echo "BR_STAGING: ${BR_STAGING}"
 echo "BR_PROJECT: " ${BR_PROJECT}

bsp/scripts/git-delete-history.sh

@@ -0,0 +1,24 @@
+#!/bin/bash
+set -o errexit
+
+# Author: David Underhill
+# Script to permanently delete files/folders from your git repository.  To use 
+# it, cd to your repository's root and then run the script with a list of paths
+# you want to delete, e.g., git-delete-history path1 path2
+
+if [ $# -eq 0 ]; then
+    exit 0
+fi
+
+# make sure we're at the root of git repo
+if [ ! -d .git ]; then
+    echo "Error: must run this script from the root of a git repository"
+    exit 1
+fi
+
+# remove all paths passed as arguments from the history of the repo
+files=$@
+git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
+
+# remove the temporary history git-filter-branch otherwise leaves behind for a long time
+rm -rf .git/refs/original/ && git reflog expire --all &&  git gc --aggressive --prune