T243: capability types and kernel code now accurately reflects ARMv7 12/8/12 bit...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 08:48:36 +0000 (10:48 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 15 Aug 2016 11:59:50 +0000 (13:59 +0200)
commitc9ab3343e3f9458d560b8bb16c044f1daaefec68
tree57498021931aa84ea576591d40c814ca0b72d2ca
parentb430c9b871c05d7021fa3fc3c38620cae91f6c89
T243: capability types and kernel code now accurately reflects ARMv7 12/8/12 bit virtual address split

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h
kernel/arch/armv7/paging.c
lib/barrelfish/capabilities.c