RIOT/core/sched.c:61:47: error: argument to 'section' attribute is not valid for this target: mach-o section
      specifier requires a segment and section separated by a comma
__attribute__((used)) __attribute__((section (".openocd")))
                                              ^
RIOT/core/sched.c:67:47: error: argument to 'section' attribute is not valid for this target: mach-o section
      specifier requires a segment and section separated by a comma
__attribute__((used)) __attribute__((section (".openocd")))
                                              ^
2 errors generated.