x86_32: Implemented missing parts of new kernel memory system.
authorSimon Gerber <simugerber@student.ethz.ch>
Thu, 22 Nov 2012 14:53:25 +0000 (15:53 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Jan 2013 10:31:04 +0000 (11:31 +0100)
commit01c3145311fe55fc9aa0d26d7551adbd02f040b1
treefbb5adb2a9a4f679733a44f1b9ca5e1371c11d74
parentb63daf9df5a79d13c6e4e99be067558eab5784e2
x86_32: Implemented missing parts of new kernel memory system.
12 files changed:
include/arch/x86_32/barrelfish/invocations_arch.h
include/arch/x86_32/barrelfish_kpi/paging_arch.h
include/target/x86_32/barrelfish_kpi/paging_target.h
kernel/arch/x86_32/page_mappings_arch.c
kernel/arch/x86_32/syscall.c
kernel/arch/x86_64/page_mappings_arch.c
kernel/include/arch/x86_32/paging_kernel_arch.h
kernel/include/arch/x86_64/paging_kernel_arch.h
kernel/include/paging_generic.h
kernel/paging_generic.c
lib/barrelfish/target/x86_32/pmap_target.c
lib/spawndomain/arch/x86/spawn_arch.c