Fix typos from Bernie's review.
[bertos.git] / cpu / attr.h
index 5d0ce885d10436e861e41b9ceb81d01cf418dddf..302b38c987089043a0ac7b2f8deabb6342b4f4bd 100644 (file)
                } while (0)
 
        /*
-        * If the kernel is in idle-spinning, the processor execute:
+        * If the kernel is in idle-spinning, the processor executes:
         *
         * IRQ_ENABLE;
         * CPU_IDLE;