Hello, I committed the vm_allocate_contiguous part. Of course there were a few missing bits:
- phys_addr_t, as exposed to userland, *has* to be always the same size, otherwise the RPC will get bogus depending the kernel is compiled with PAE enabled or not. - It was put in mach.defs, but as the comment mentions there is no room there any more, I moved it to gnumach.defs. - The texinfo documentation was missing. Samuel
