64-bit PC kernel and minimalist operating system written for Systems Programming, spring 2014