Initial commit
Initial import
merged with new git repository, which is based on svn version 48
added debugging options to run-gdb target
changes to test the interrupt services for partitions with a native application
script to replace the part1/part1.elf binary with the first argument to the script and rebuild the final pok.elf