Merge branch 'caps_next'
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 7 Jun 2016 14:18:20 +0000 (16:18 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 7 Jun 2016 14:18:20 +0000 (16:18 +0200)
commit61250aa77ae26dbb3608361c6553b9b6e4e770d7
tree317b4552a3352f043e6bf7ea4e7287d26b73dc0c
parent23d7bf5f4f16d13279127b3711ecc6bf279598ad
parent674da5c802109a6d7b2b942843ff3c667d511c7e
Merge branch 'caps_next'

This merge changes capabilities for address ranges (e.g. RAM, PhysAddr, ...)
from power-of-two sizes given in bits to sizes given in bytes. The current
implementation restricts capabilities to be sized >= BASE_PAGE_SIZE.  In
addition, retype now can "cut out" a part of a large capability to create a
descendant without having to create descendants for the whole region.  To
ensure integrity of operations, calls to retype result in a range query on the
capability database to check for already existing, overlapping descendants of
the source capability.

Closes T191.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
errors/errno.fugu
platforms/Hakefile
tools/harness/barrelfish.py
usr/monitor/capops/delete.c
usr/monitor/capops/retype.c