diff --git a/drivers/storage/memory/imgrd.o b/drivers/storage/memory/imgrd.o index 5e37978..3906f33 100644 Binary files a/drivers/storage/memory/imgrd.o and b/drivers/storage/memory/imgrd.o differ diff --git a/drivers/storage/memory/memory b/drivers/storage/memory/memory index 13a99f1..b41b908 100755 Binary files a/drivers/storage/memory/memory and b/drivers/storage/memory/memory differ diff --git a/drivers/storage/ramdisk/image b/drivers/storage/ramdisk/image index 1917f1a..d23c9cb 100644 Binary files a/drivers/storage/ramdisk/image and b/drivers/storage/ramdisk/image differ diff --git a/servers/sched/sched b/servers/sched/sched index 729b021..6ae41be 100755 Binary files a/servers/sched/sched and b/servers/sched/sched differ diff --git a/servers/sched/schedule.c b/servers/sched/schedule.c index 6fac2fb..101a03d 100644 --- a/servers/sched/schedule.c +++ b/servers/sched/schedule.c @@ -319,6 +319,12 @@ static int schedule_process(struct schedproc * rmp, unsigned flags) else new_cpu = -1; + //processes are swapped here + if (rmp->priority >= 7 && rmp->max_priority == 7) + { + printf("MINIX: PID %d swapped in\n", _ENDPOINT_P(rmp->endpoint)); + } + if ((err = sys_schedule(rmp->endpoint, new_prio, new_quantum, new_cpu)) != OK) { printf("PM: An error occurred when trying to schedule %d: %d\n", diff --git a/servers/sched/schedule.o b/servers/sched/schedule.o index e19ddf3..1a675d0 100644 Binary files a/servers/sched/schedule.o and b/servers/sched/schedule.o differ