Squashed a bug in paging code from the ARMv8 branch.
[barrelfish] / LICENSE
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.