Device Drivers for Shared Message Queues