
post_install () {
echo "________________________________________________________________________________"
echo ""
echo "Guinnux bootloader code has been installed. This is the Raspberry Pi firmware"
echo "and is covered by the license in /boot/LICENCE.broadcom."
echo "________________________________________________________________________________"
echo ""
}
