T121: Create "real" BSP KCB cap for x86.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Jun 2015 09:16:25 +0000 (11:16 +0200)
committerMoritz Hoffmann <moritz.hoffmann@inf.ethz.ch>
Tue, 16 Jun 2015 11:37:41 +0000 (13:37 +0200)
commit8b2e56ce7c883d396e098538be958ba3d96ad1bb
treedaf88d81e43165f33ab501f7be2c86586adcd6d1
parenta8e5baf2dfa1edb144655725b71fe0ef1dea0b24
T121: Create "real" BSP KCB cap for x86.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish_kpi/init.h
kernel/arch/x86/startup_x86.c
kernel/arch/x86_64/init.c
kernel/startup.c
usr/init/spawn.c