***Server sets mode: +nt
***mbanck_ is now known as mbanck
<luckyluke>youpi: as far as I understand, the main reason for 64-bit gnumach would be the higher address range in kernel space. Wouldn't PAE be enough for this? <youpi>luckyluke: at some point the map/unmap ping-pong is costly <youpi>(PAE is already implemented actually) <youpi>but also we want at some point to have a 64bit userland