Make sure KCb has correct size.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 14 Oct 2014 14:36:49 +0000 (16:36 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 14 Oct 2014 14:36:49 +0000 (16:36 +0200)
commit70e84ce841fd465ad5e16441af5e0bd7af37f8a9
tree27b0d7a344c4429f40f6df773107493ceb154130
parent6e70991a05acc11ec7d3e0b2f2e4ea28b042c2da
Make sure KCb has correct size.
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h