Enhancements for Harvard's OS-161 educational kernel - Kernel Synchronization primitives, System call interface and Virtual Memory