Harvey – An effort to provide a modern, distributed, 64-bit operating system