- kernel ready
authorSamuel Hitz <hitzs@student.ethz.ch>
Fri, 11 May 2012 09:32:20 +0000 (11:32 +0200)
committerSamuel Hitz <hitzs@student.ethz.ch>
Fri, 11 May 2012 09:32:20 +0000 (11:32 +0200)
commit9dbbc190bfc2b2e2ba2a6068f0650f7b46833dec
tree0e020894b58dcaa35a610388df600c4b1426c924
parentdd3bc2af659c7a5aea936d3694a867201e173f8f
- kernel ready
- added 3 new devices for development board
- temporary added debug printfs
22 files changed:
devices/Hakefile
devices/cortex_a9_pit.dev [new file with mode: 0644]
devices/pl130_gic.dev [new file with mode: 0644]
devices/sp804_pit.dev [new file with mode: 0644]
hake/Gem5.hs
kernel/Hakefile
kernel/arch/arm/exec.c
kernel/arch/arm/exn.c
kernel/arch/gem5/exceptions.S
kernel/arch/gem5/init.c
kernel/arch/gem5/integrator.c
kernel/arch/gem5/paging.c
kernel/arch/gem5/startup_arch.c [new file with mode: 0644]
kernel/include/arch/gem5/arm_hal.h
kernel/include/arch/gem5/exceptions.h
kernel/include/arch/gem5/paging_kernel_arch.h
lib/barrelfish/capabilities.c
lib/barrelfish/threads.c
lib/barrelfish/vspace/memobj_anon.c
lib/barrelfish/vspace/pinned.c
lib/barrelfish/vspace/vregion.c
lib/barrelfish/vspace/vspace.c