Add support to identify KCB on 32bit and correctly abort if it fails.
authorGerd Zellweger <mail@gerdzellweger.com>
Mon, 10 Nov 2014 13:35:22 +0000 (14:35 +0100)
committerGerd Zellweger <mail@gerdzellweger.com>
Mon, 10 Nov 2014 13:35:22 +0000 (14:35 +0100)
commit13f6c7b6d099ba02c13bbc7f892a4b06f2dcb55e
treebf17a975cc3accee656793f2a5e0cfcfdc54cd90
parentedbafb804d11ad1a5a53c016bb114a693b996498
Add support to identify KCB on 32bit and correctly abort if it fails.
include/arch/x86_32/barrelfish/invocations_arch.h
kernel/arch/x86_32/init.c
kernel/arch/x86_32/syscall.c
usr/drivers/cpuboot/main.c
usr/drivers/cpuboot/x86boot.c
usr/kaluga/start_cpu.c