Files
rpi_b/bin/ksh/config.h