[Barrelfish-users] [Barrelfish] The description of page_init in init.c seems not up to date

Simon Peter speter at inf.ethz.ch
Thu Apr 14 19:26:06 CEST 2011


You are again correct. I have corrected this in the source repository.

Thanks for your attention to detail.


On 14.04.2011 09:51, "Siyao Zheng(郑思遥)" wrote:
> Hi,
> On arch x86-64, the description of page_init function in init.c seems outdated. It reads "identity map first 2MB", but the function actually identically maps first 1GB.
> Zheng Siyao
> 14 Apr 2011
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
> _______________________________________________
> Barrelfish mailing list
> Barrelfish at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish

More information about the Barrelfish-users mailing list