driver_manager.c change
Merge branch 'master' of github.com:bernhardbreuss/OS
Moved gptimer_t-struct to platform.h to avoid HAL related inclusion in generic module.
- forgot to commit platform.h timer-struct in last commit
- process_manager.c
-> new interrupt generation already enabled in "irq_handle_interrupt(void)"
Merge branch 'master' of github.com:bernhardbreuss/OS