1.1 --- a/stage2/irq.c	Sat Feb 27 18:34:50 2016 +0100
     1.2 +++ b/stage2/irq.c	Sat Feb 27 19:20:32 2016 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4  u32 current_stack_pointer;
     1.5  extern u32 _got_copy_start;
     1.6  
     1.7 -const u32 stack_start = 0x00080000;
     1.8 +const u32 stack_start = 0x80080000;
     1.9  const u32 stack_size = 0x00002000;
    1.10  const u32 pagesize = 4 * 1024;
    1.11  const u32 framesize = 120; /* see the handlers */
    1.12 @@ -89,7 +89,7 @@
    1.13  
    1.14  		/* Switch task. */
    1.15  
    1.16 -		/* switch_task(); */
    1.17 +		switch_task();
    1.18  
    1.19  		/* Clear interrupt status. */
    1.20  
    1.21 @@ -116,15 +116,11 @@
    1.22  	physical memory, but at the same address in virtual memory.
    1.23  	*/
    1.24  
    1.25 -	virtual = stack_start;
    1.26  	physical = stack_start + stack_size * task;
    1.27 +	virtual = physical;
    1.28  
    1.29  	init_page_table(page_table_start, virtual - pagesize * 2, physical - pagesize * 2, pagesize, 0x1e, task);
    1.30  
    1.31 -	/* Map the page for initialisation. */
    1.32 -
    1.33 -	map_page(physical, physical, pagesize, 0x1e, 0);
    1.34 -
    1.35  	/*
    1.36  	Set the stack for the new task, initialising the global pointer and
    1.37  	return address.