Changed build chain: libc no longer need to be compiled to object code, avoided disable-internalize to reduce kernel size, disabled UART partition loader (too slow), partitions are now put in the kernel executable through the combination of makefiles and linker scripts (objcopy not available)
Updated libc inclusions for the Patmos processor
Added cpu frequency directive for Patmos
Added used attribute to pok_boot function
Updated debug print
Updated debug prints and libc inclusion, added attribute used to current_context
Updated libc inclusion and debug prints, changed the way partitions are loaded
Updated stdio inclusion
Moved debug prints not to affect timer
Added execuoption status register in the thread context
Added used attribute to the syscall function, added explicit return statement
Added exception register to thread context for user defined threads
Added exception register status manipulation macros
Updated comment
Fixed assembly in ISR and restore_context functions
Added attribute used to pok_clear_bss, added _loader_baseaddr and _loader_off pointers needed by standard _exit function
Added deployment template used in the makefile to generate deployment.h according to partitions configurations
Added to gitignore new build directories
Modified elf2uart utility to print a textfile for each loadable section and a textfile with the entry point of the elf file submitted
Removed unuseful line from makefile