Reading parameters from bootloader and fixed a fault in the stack trace retrieval
Switching from compiling C code using gnu89 to gnu11
Fixed warning about mismatched type