Changes in kernel/arch/arm32/src/arm32.c [a71c158:3063d56] in mainline

File:

• kernel/arch/arm32/src/arm32.c (modified) (3 diffs)

kernel/arch/arm32/src/arm32.c

@@ -48 +48 @@
 #include <macros.h>
 #include <string.h>
+#include <arch/ras.h>
 
 #ifdef MACHINE_testarm
@@ -88 +89 @@
         exception_init();
         interrupt_init();
+
+        /* Initialize Restartable Atomic Sequences support. */
+        ras_init();
         
         machine_output_init();
@@ -136 +140 @@
         uint8_t *stck;
         
-        tlb_invalidate_all();
         stck = &THREAD->kstack[THREAD_STACK_SIZE - SP_DELTA];
         supervisor_sp = (uintptr_t) stck;