Hello everyone, I’m trying to apply an asynchronous batch processing of IPC into l4/fiasco to increase the bandwidth of IPC. I think the main problem is the performance of IPC when virtualization is applied to mobile system. To increase the performance of IPC, I try to use the memory sharing between the address space of user library and that of kernel memory. There is a way to access user memory from kernel, but I couldn’t find any way to read kernel memory in user space. At first, I want to know whether it is meaningful to use an asynchronous batch processing of IPC, or not. Second, when my user library tries to use the virtual address of a kernel global variable by passing it to user address space, “unhandled exception: pc=xxxx” occurs. I think that region mapper makes that exception while it’s checking the range of virtual address. If I want to access kernel memory in user address space, what can I do? Maybe it causes security problems and it’s not proper for virtualization. However, in my opinion, some compromise will be needed for the future mobile virtualization system.