-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Besides, I'm getting a huge list of kernel warnings with the new l4_fpage call that hasn't been there before. I've attached it to this mail.
The kernel is complaining that you are trying to map memory from the sender that is not available in the sender's address space. As mapping basically means taking the sender's page table entries and putting them into the receiver's PT, the kernel does not know what to do.
The trick here is that your pager needs to have the binary mapped into its own address space before handing it out. This can be achieved by accessing the binary's pages once during startup. (For convenience, see the l4_touch_ro() and l4_touch_rw() functions.)
Bjoern