T121: kernel: Make BSP KCB a proper capability on ARM
authorMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Wed, 17 Jun 2015 13:20:21 +0000 (15:20 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Wed, 17 Jun 2015 13:20:21 +0000 (15:20 +0200)
commitc852a3c0f4869e82609f099b1e340e7b3c3299e5
treed34ac81d12832287f0571cf5a78baa4923f5d1b6
parent9ed509c10d5ffa78a3472770060c5117c71abeb6
T121: kernel: Make BSP KCB a proper capability on ARM

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
kernel/arch/arm_gem5/startup_arch.c
kernel/arch/armv5/startup_arch.c
kernel/arch/omap44xx/init.c
kernel/arch/omap44xx/startup_arch.c
kernel/arch/x86/startup_x86.c
lib/barrelfish/Hakefile