[Barrelfish-users] [Barrelfish] boot page table init on x86-64

[Simon Peter]

> By the way, I think it probably best to detect RAM mapping in kernel at this stage, or at least map the page where "global" structure resides, or else printf would not be available at the moment.

Indeed. However, that is unfortunately not so easy on x86. Detecting 
where RAM is does require ACPI and other heavy-weight software packages. 
We loosely follow a microkernel design and thus would not like to run 
ACPI in the kernel at early bootup.

Simon