git.barrelfish.org Git - barrelfish/commit

author	Simon Gerber <simon.gerber@inf.ethz.ch>
	Fri, 24 Jan 2014 13:29:59 +0000 (14:29 +0100)
committer	Gerd Zellweger <mail@gerdzellweger.com>
	Tue, 14 Oct 2014 06:50:10 +0000 (08:50 +0200)
commit	10188087a1ac4339771e9f82358f9ae1ca1f6e7c
tree	37874a15e1c981c163adcbccad4c5f937b2e37d3	tree \| snapshot
parent	d7342d88b1d30ec6f54715299d8a96367c457f35	commit \| diff

Added current core_id so we can properly reroute interrupts after moving kcb.

Barrelfish OS git repo

include/barrelfish/domain.h		diff \| blob \| history
include/barrelfish_kpi/dispatcher_shared.h		diff \| blob \| history
kernel/arch/x86/startup_x86.c		diff \| blob \| history
kernel/arch/x86_64/syscall.c		diff \| blob \| history
kernel/include/kcb.h		diff \| blob \| history
kernel/kcb.c		diff \| blob \| history
kernel/syscall.c		diff \| blob \| history
lib/barrelfish/domain.c		diff \| blob \| history
lib/pci/pci_client.c		diff \| blob \| history