RaspberryPi.org - Kernel

RaspberryPi.org - Building Kernel

$ getfacl script.sh
# file: script.sh
# owner: root
# group: root
user::rwx
group::r--
group:domain\040users:rw-
mask::rwx
other::rwx

sudo setfacl -m 'g:domain\040users:rwx' script.sh
sudo setfacl -b script.sh

https://unix.stackexchange.com/questions/203371/run-script-sh-vs-bash-script-sh-permission-denied