====== Kernel ======

[[https://www.raspberrypi.org/documentation/linux/kernel/|RaspberryPi.org - Kernel]]

===== Building Kernel =====

[[https://www.raspberrypi.org/documentation/linux/kernel/building.md|RaspberryPi.org - Building Kernel]]

==== Troubleshooting ====

=== Run ./script.sh vs bash script.sh - permission denied === 

<code>
$ 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
</code>

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

\\
\\
~~DISCUSSION:closed~~