nkmtest: make arm version compile and only check fault type on x86
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:37:48 +0000 (09:37 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 4 Oct 2016 07:37:55 +0000 (09:37 +0200)
commit5e618dad9cf3d3c82ecc36f7f41537c6553342c4
tree418d008d4258264d777cbc5db7c2dc9083b732da
parenteb028d50bbc1bebeaa50a70bb1004bcfe39395a5
nkmtest: make arm version compile and only check fault type on x86

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/arch/arm/barrelfish/pmap_arch.h
usr/tests/nkm/modify_flags.c