Hi :) in order to fix the receiver lookups in the Hurd components implementing the pager protocol, I need to extend the memory_object_t definitions in the kernel headers. In a follow-up, I'll send a patch series fixing the receiver lookups in mach-defpager.
Cheers, Justus
