From 4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b Mon Sep 17 00:00:00 2001 From: manuel Date: Tue, 27 Mar 2012 11:51:08 +0200 Subject: reorganize file structure to match the upstream requirements --- pintos-progos/threads/loader.h | 40 ---------------------------------------- 1 file changed, 40 deletions(-) delete mode 100644 pintos-progos/threads/loader.h (limited to 'pintos-progos/threads/loader.h') diff --git a/pintos-progos/threads/loader.h b/pintos-progos/threads/loader.h deleted file mode 100644 index 1bfe111..0000000 --- a/pintos-progos/threads/loader.h +++ /dev/null @@ -1,40 +0,0 @@ -#ifndef THREADS_LOADER_H -#define THREADS_LOADER_H - -/* Constants fixed by the PC BIOS. */ -#define LOADER_BASE 0x7c00 /* Physical address of loader's base. */ -#define LOADER_END 0x7e00 /* Physical address of end of loader. */ - -/* Physical address of kernel base. */ -#define LOADER_KERN_BASE 0x20000 /* 128 kB. */ - -/* Kernel virtual address at which all physical memory is mapped. - Must be aligned on a 4 MB boundary. */ -#define LOADER_PHYS_BASE 0xc0000000 /* 3 GB. */ - -/* Important loader physical addresses. */ -#define LOADER_SIG (LOADER_END - LOADER_SIG_LEN) /* 0xaa55 BIOS signature. */ -#define LOADER_PARTS (LOADER_SIG - LOADER_PARTS_LEN) /* Partition table. */ -#define LOADER_ARGS (LOADER_PARTS - LOADER_ARGS_LEN) /* Command-line args. */ -#define LOADER_ARG_CNT (LOADER_ARGS - LOADER_ARG_CNT_LEN) /* Number of args. */ - -/* Sizes of loader data structures. */ -#define LOADER_SIG_LEN 2 -#define LOADER_PARTS_LEN 64 -#define LOADER_ARGS_LEN 128 -#define LOADER_ARG_CNT_LEN 4 - -/* GDT selectors defined by loader. - More selectors are defined by userprog/gdt.h. */ -#define SEL_NULL 0x00 /* Null selector. */ -#define SEL_KCSEG 0x08 /* Kernel code selector. */ -#define SEL_KDSEG 0x10 /* Kernel data selector. */ - -#ifndef __ASSEMBLER__ -#include - -/* Amount of physical memory, in 4 kB pages. */ -extern uint32_t init_ram_pages; -#endif - -#endif /* threads/loader.h */ -- cgit v1.2.3