first draft of build script, probably not working; the Xenomai build does NOT work - it runs fine, but the executables won't work on a Pi, i think this is due to library path issues
add our slightly modified kernel config
all config files need a newline (otherwise 'while read' in shell will ignore the last line)
many buxfixes for build script
add script that builds all configurations