kernel: do not drop RAM caps
[barrelfish] / capabilities / Hakefile
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.