Changed the x86 architecture to have tPAddr be 64-bits always
authorJohn Hodge <tpg@prelude.(none)>
Mon, 28 Dec 2009 13:20:37 +0000 (21:20 +0800)
committerJohn Hodge <tpg@prelude.(none)>
Mon, 28 Dec 2009 13:20:37 +0000 (21:20 +0800)
commit38e4b28d370c5f9284b285a71518ae2b6bce125c
treedd98ff5f48f558597f190e4bf447aef2722be2a4
parent12eaf93dbdd3d06ca0da8d72aef338490a55c702
Changed the x86 architecture to have tPAddr be 64-bits always
- tPAddr being a constant size allows PAE to be selected at
  runtime (when I complete it :))
- Related bugfixes (where tPAddr was assumed to be 32-bits)
- Also fixed bugs in the config file parser
- Added -g flag to the build (working on a disable switch)
14 files changed:
Kernel/Makefile
Kernel/Makefile.BuildNum
Kernel/arch/x86/include/arch.h
Kernel/arch/x86/include/mm_phys.h
Kernel/arch/x86/include/mm_virt.h
Kernel/arch/x86/include/proc.h
Kernel/arch/x86/link.ld
Kernel/arch/x86/mm_phys.c
Kernel/arch/x86/mm_virt.c
Kernel/arch/x86/proc.c
Kernel/bin/elf.c
Kernel/bin/elf.h
Kernel/include/binary.h
Kernel/system.c

UCC git Repository :: git.ucc.asn.au