Resolved! Bus fault in the below program
#include<stdio.h> #include<stdint.h> #define SCHED_STACK_START 20126976U void init_tasks_stack(void); void task1handler(void); void enable_processor_faults(void); __attribute__((naked)) void init_scheduler_stack(uint32_t sched_top_of_stack); int ...