Building Multi-kernel Embedded System on PAC Multi-core Platform | IEEE Conference Publication | IEEE Xplore