<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">
<!--
p
{margin-top:0;
margin-bottom:0}
-->
P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi, all,<br>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<div style="direction:ltr; font-family:Tahoma; color:#000000; font-size:10pt"><br>
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"?<br>
<br>
<br>
Best regards,<br>
Xiaowen Wang<br>
</div>
<div></div>
</div>
</div>
</body>
</html>