kernel and userspace now working, removed some debug printfs, general code cleanup
authorSamuel Hitz <samuel.hitz@gmail.com>
Tue, 22 May 2012 09:59:02 +0000 (11:59 +0200)
committerSamuel Hitz <samuel.hitz@gmail.com>
Tue, 22 May 2012 09:59:02 +0000 (11:59 +0200)
commite6b486aa45a01544b286428d01161c027acfad93
tree0e6eed49df79d38fc9e2c76bfc1c766452c149a8
parent9dbbc190bfc2b2e2ba2a6068f0650f7b46833dec
kernel and userspace now working, removed some debug printfs, general code cleanup
14 files changed:
include/mm/slot_alloc.h
include/spawndomain/spawndomain.h
kernel/arch/arm/syscall.c
kernel/arch/gem5/exceptions.S
kernel/arch/gem5/init.c
kernel/arch/gem5/paging.c
kernel/arch/gem5/startup_arch.c
kernel/capabilities.c
lib/barrelfish/capabilities.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/vregion.c
tools/gem5/debug.gem5.gdb
usr/init/init.c