Hydra: The Kernel of a Multiprocessor Operating System

GPTKB entity