1. Just to make sure - does coLinux allocate any pageable memory for itself or for memory the kernel uses? As far as I've seen it only allocates from NonPagedPool.
2. When communicating from a windows kernel-level driver with the colinux linux-kernel, you mentioned shared-memory as well as message queues. I had a look at the code, but couldn't find the functions. Which functions do I need? When using such a message-queue, will there be a context-switch to the coLinux kernel thread (if there is something like this at all), or will the message-data processed without any context switch simply by calling inside the linux kernel directly?
-- Henry N.