noff.h

/* noff.h 
 *     Data structures defining the Nachos Object Code Format
 *
 *     Basically, we only know about three types of segments:
 *  code (read-only), initialized data, and unitialized data
 */

#define NOFFMAGIC   0xbadfad    /* magic number denoting Nachos 
                     * object code file 
                     */

typedef struct segment {
  int virtualAddr;      /* location of segment in virt addr space */
  int inFileAddr;       /* location of segment in this file */
  int size;         /* size of segment */
} Segment;

typedef struct noffHeader {
   int noffMagic;       /* should be NOFFMAGIC */
   Segment code;        /* executable code segment */ 
   Segment initData;        /* initialized data segment */
   Segment uninitData;      /* uninitialized data segment --
                 * should be zero'ed before use 
                 */
} NoffHeader;