Changes in kernel/generic/src/main/main.c [7a0359b:da52547] in mainline

File:

• kernel/generic/src/main/main.c (modified) (1 diff)

kernel/generic/src/main/main.c

@@ -131 +131 @@
  *
  */
-NO_TRACE void main_bsp(void)
+void __attribute__((no_instrument_function)) main_bsp(void)
 {
         config.cpu_count = 1;