Design of the L4 Microkernel Based Lightweight Mobile Middleware for Mobile Phone | IEEE Conference Publication | IEEE Xplore