Files
rpi_b/kernel/extract-errno.sh