00001 // See the end of this file for license information. 00002 00003 #include "types.h" 00004 00005 #ifndef TORSION_ARCH_H 00006 #define TORSION_ARCH_H 00007 00008 const unsigned PAGE_ALIGNMENT = 12; 00009 const unsigned PAGE_ALIGN_MASK = 0xfffff000; 00010 const Size PAGE_SIZE = 4096; 00011 const Size STACK_SIZE = PAGE_SIZE; 00012 const unsigned MAX_PHYSICAL_MEMORY_SIZE = ~0; 00013 const Size GENERAL_REGISTERS_SIZE = 32; 00014 00015 #endif 00016 00017 /* Torsion Operating System, Copyright (C) 2000-2004 Dan Helfman 00018 * 00019 * This program is free software; you can redistribute it and/or modify it 00020 * under the terms of the GNU General Public License as published by the 00021 * Free Software Foundation; either version 2 of the License, or (at your 00022 * option) any later version. 00023 * 00024 * This program is distributed in the hope that it will be useful, but 00025 * WITHOUT ANY WARRANTY; without even the implied warranty of 00026 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00027 * General Public License for more details (in the COPYING file). 00028 * 00029 * You should have received a copy of the GNU General Public License along 00030 * with this program; if not, write to the Free Software Foundation, Inc., 00031 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA 00032 */
Torsion Operating System, Copyright (C) 2000-2004 Dan Helfman