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

[Kornilios Kourtis]

Hi,

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
> "BASE_PAGE_SIZE"?

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.

cheers,
Kornilios.

-- 
Kornilios Kourtis