/*
  headerLayout.h, Copyright (c) by Lukas Ruf, 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/Startup/headerLayout.h,v $
 	Author(s):           Lukas Ruf
 	Affiliation:         ETH Zuerich, TIK
 	Version:             $Revision: 2922 $
 	Creation Date:       2002/01/17
 	Last Date of Change: $Date: 2007-03-19 17:48:52 +0100 (Mon, 19 Mär 2007) $      by: $Author: baderma $
 */

#define ORG_ORIGIN                 0x00
#define ORG_MARKER                 ORG_ORIGIN + 0x10
#define ORG_TEXT_START             ORG_ORIGIN + 0x20
#define ORG_TEXT_SIZE              ORG_ORIGIN + 0x28
#define ORG_DATA_START             ORG_ORIGIN + 0x30
#define ORG_DATA_SIZE              ORG_ORIGIN + 0x38
#define ORG_BSS__START             ORG_ORIGIN + 0x40
#define ORG_BSS__SIZE              ORG_ORIGIN + 0x48
#define ORG_PLATFORM_EXTENSIONS    ORG_ORIGIN + 0x70
#define ORG_CODE_START             ORG_ORIGIN + 0x90

