Barrelfish (standard config) boots with 1 mapping per cap copy.
authorSimon Gerber <simugerber@student.ethz.ch>
Thu, 22 Nov 2012 14:53:15 +0000 (15:53 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Jan 2013 10:31:00 +0000 (11:31 +0100)
commit54e7593f74345b76daeda46f1feac57dc5cf1496
tree2dcc2c0e79f264f5199a83a10a7352523772778b
parent7d43f8bb4e310109bff951f5dcf6c69e9b110bbd
Barrelfish (standard config) boots with 1 mapping per cap copy.
12 files changed:
errors/errno.fugu
include/barrelfish_kpi/init.h
include/spawndomain/spawndomain.h
kernel/arch/x86_64/page_mappings_arch.c
kernel/syscall.c
lib/barrelfish/target/x86_64/pmap_target.c
lib/elf/elf64.c
lib/spawndomain/arch/x86/spawn_arch.c
lib/spawndomain/multiboot.c
lib/spawndomain/spawn.c
usr/init/init.c
usr/monitor/arch/x86/boot.c