Zinix - A Function-Modularized Kernel for Multiprocessor Embedded Systems | IEEE Conference Publication | IEEE Xplore