A Dynamically Configurable Co-processor For Microkernels.

Mike Livesey, Colin Allison

Browse the full PDP paper archive.