Kea-a dynamically extensible and configurable operating system kernel | IEEE Conference Publication | IEEE Xplore