#include "proc.h"
#include "cfg/cfg_arch.h" // ARCH_EMUL
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
+#include "cfg/cfg_monitor.h"
#include <cfg/macros.h> // ROUND_UP2
#include <cfg/module.h>
#include <cfg/depend.h> // CONFIG_DEPEND()
#include <string.h> /* memset() */
-// Check config dependencies
-CONFIG_DEPEND(CONFIG_KERN_SIGNALS, CONFIG_KERN_SCHED);
-CONFIG_DEPEND(CONFIG_KERN_SEMAPHORES, CONFIG_KERN_SIGNALS);
-CONFIG_DEPEND(CONFIG_KERN_MONITOR, CONFIG_KERN_SCHED);
-
-
/*
* The scheduer tracks ready processes by enqueuing them in the
* ready list.
if (proc != CurrentProcess)
{
- //proc_forbid();
- //TODO: re-enqueue process
- //pric_permit();
+ proc_forbid();
+ ATOMIC(sched_reenqueue(proc));
+ proc_permit();
}
}
#endif // CONFIG_KERN_PRI