/*
    StartMeFirst.c, 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 "Startup.h"
#include "Memory.h"
#include "MemoryLayout.h"
#include "TMHal.h"
#include "cpu.h"
#include "SegMap.h"
#include "types.h"

#include "SupportSA1100.h"


void StartMeFirst(void)
{

  unsetInstrBrkPt();
  //setInstrBrkPt((unsigned int) 0xc01248b4);

  topsyMain(); /* now let's go */
}
