Major evolution to support physical addresses larger than 32 bits. The map.xml format has been modified: the vsegs associated to schedulers are now explicitely defined and mapped in the page tables.