kern

diff src/sched.c @ 57:437360696883

I think we're done for now. two processes seem to be scheduled and switched just fine, fork seems to work (NO CoW YET!)
author John Tsiombikas <nuclear@member.fsf.org>
date Tue, 16 Aug 2011 03:26:53 +0300
parents 0be4615594df
children 3941e82b07f2
line diff
     1.1 --- a/src/sched.c	Mon Aug 15 06:17:58 2011 +0300
     1.2 +++ b/src/sched.c	Tue Aug 16 03:26:53 2011 +0300
     1.3 @@ -136,6 +136,8 @@
     1.4  
     1.5  	set_current_pid(0);
     1.6  
     1.7 +	printf("idle loop is running\n");
     1.8 +
     1.9  	/* make sure interrupts are enabled before halting */
    1.10  	while(EMPTY(&runq)) {
    1.11  		enable_intr();