/*
    userStart.S, Copyright  (c) by Claudio Jeker,
    Swiss Federal Institute of Technology,
    Computer Engineering and Networks Laboratory.

    TOPSY -- A Teachable Operating System.
             Implementation of a tiny and simple
             micro kernel for teaching purposes.

    For further information, please visit http://www.tik.ee.ethz.ch/~topsy

    This software is provided under the terms of the GNU General Public Licence.

    A full copy of the GNU GPL is provided in the file COPYING found in the 
    development root of Topsy.
*/
/*
	
    File:                  $Source: /home/ruf/cvs_Topsy/cvs/Topsy/User/mips/Attic/userStart.S,v $
    Affiliation:           ETH Zuerich, TIK
    Version:               $Revision: 2911 $
    Last Date of Change:   $Date: 2007-03-07 14:27:12 +0100 (Mit, 07 Mär 2007) $  by: $Author: rnatau $
	
*/

#include "asm.h"
#include "cpu.h"

	.text
	.align  2

/* __start: the starting point, the address where the loader jumps to
 */

LABEL(__userStart)

	j			__start2
	.org 0x10
LABEL(__segmap)
	.asciz  "TOPSYmips"     // MARKER for PATCHING
	.org 0x20
	
	nop	
	nop
	nop
	nop				
			/* make sure there is enough room for information storage
				 the Topsy Header is 128 bytes long
			 */
	.org    0x90    

__start2:
	j			StartMeFirstUser
	/* the return address points at the moment to the thread exit code so
		 do not destroy it with a jal
	 */
	

