git.barrelfish.org Git - barrelfish/commit

author	David Cock <david.cock@inf.ethz.ch>
	Wed, 8 Jul 2015 11:51:09 +0000 (13:51 +0200)
committer	David Cock <david.cock@inf.ethz.ch>
	Wed, 8 Jul 2015 11:51:09 +0000 (13:51 +0200)
commit	1d08bacc67ffd3c5e0ce8138659b6ec39d651c32
tree	c7c020ec613a2b85062ae051884fefac5609eb34	tree \| snapshot
parent	32ed5e80847f1b89561e13d8a35fa58763aa4dca	commit \| diff

Marked problematic code in ARM subtree.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Barrelfish OS git repo

kernel/arch/arm/exec.c		diff \| blob \| history
kernel/arch/arm/exn.c		diff \| blob \| history
kernel/arch/arm/phys_mmap.c		diff \| blob \| history
kernel/arch/arm/syscall.c		diff \| blob \| history
kernel/arch/armv8/exceptions.S		diff \| blob \| history
kernel/arch/armv8/misc.c		diff \| blob \| history