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) 
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) cat << "END" | $@ -x c - -o /dev/null >/dev/null 2>&1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) #include <stdio.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6) int main(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8) 	printf("");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9) 	return 0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) END