A Dynamically Configurable Co-processor For Microkernels | IEEE Conference Publication | IEEE Xplore