Vinix is an effort to write a modern, fast, and useful operating system