Academic Operating System (targeting x86-64, multiprocessor)