[Barrelfish-users] page size in barrelfish virtual memory system

Kornilios Kourtis kornilios.kourtis at inf.ethz.ch
Wed Oct 10 09:34:17 CEST 2012


On Wed, Oct 10, 2012 at 01:02:27AM +0000, Xiaowen Wang wrote:
> Recently I am porting Barrelfish to another architecture. I noticed that
> Barrelfish has "init" program which requires 4K pages for its virtuall memory.
> so does Barrelfish only allow 4K pages? or is it possible to change the size of

In principle you should be able to set BASE_PAGE_SIZE and friends (i.e.,
BASE_PAGE_BITS, etc.) to a different value for your architecture. In
practice, however, since all the architectures we support have 4K
page sizes, this has not been tested and you might get some surprises.  I
would think that if the new value is reasonable (e.g., not too small),
most of the problems --if any-- would be easy to fix.


Kornilios Kourtis

More information about the Barrelfish-users mailing list