Changeset 409 for trunk/kernel/kern/core.h

Timestamp:

Dec 20, 2017, 4:51:09 PM (6 years ago)

Author:

alain

Message:

Fix bugs in exec

File:

• trunk/kernel/kern/core.h (modified) (1 diff)

trunk/kernel/kern/core.h

@@ -60 +60 @@
         struct thread_s   * fpu_owner;      /*! pointer on current FPU owner thread        */
     uint32_t            rand_last;      /*! last computed random value                 */
+
         scheduler_t         scheduler;      /*! embedded private scheduler                 */