Orange Pi5 kernel

^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  1) #!/bin/sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  2) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) # Generates a small Makefile used in the root of the output
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) # directory, to allow make to be started from there.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) # The Makefile also allow for more convinient build of external modules
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) # Usage
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) # $1 - Kernel src directory
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) if [ "${quiet}" != "silent_" ]; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) 	echo "  GEN     Makefile"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) fi
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) cat << EOF > Makefile
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15) # Automatically generated by $0: don't edit
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) include $1/Makefile
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) EOF