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) objdump="$1"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  3) file="$2"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  4) $objdump -t "$file" | grep '*UUND*' | grep -v '#scratch' > /dev/null 2>&1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  5) if [ $? -eq 1 ]; then
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  6)     exit 0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  7) else
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  8)     echo "$file: undefined symbols found" >&2
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300  9)     exit 1
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) fi