/*
    userStart.S, Copyright (c) by Silvio Dragone & David Reist,
    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.
*/

#include "asm.h"

ENTRY(__userStart)
LABEL(__userStart)

	b			__start2
	.org 0x10
LABEL(__segmap)
	.asciz  "TOPSYixp2400"     // 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:
	b	StartMeFirstUser	// and now GO !!
