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

"Siyao Zheng(郑思遥)" zhengsyao at gmail.com
Thu Apr 14 09:51:53 CEST 2011


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

More information about the Barrelfish-users mailing list