Distributed IPC Using Virtual Device Driver in Monolithic Kernel | IEEE Conference Publication | IEEE Xplore