projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b430c9b) | patch
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
tree57498021931aa84ea576591d40c814ca0b72d2catree | snapshot
parentb430c9b871c05d7021fa3fc3c38620cae91f6c89commit | diff
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 diff | blob | history
include/barrelfish_kpi/capabilities.h diff | blob | history
kernel/arch/armv7/paging.c diff | blob | history
lib/barrelfish/capabilities.c diff | blob | history
Barrelfish OS git repo