Building a Multi-kernel Embedded System with High Performance IPC Mechanism | IEEE Conference Publication | IEEE Xplore