The PANDA system architecture-a pico-kernel approach | IEEE Conference Publication | IEEE Xplore