Adds multicore processing support to a 64-bit x86 research operating system (InfOS). This involved designing the boot protocol to handle multiple cores, adapting the interrupt system to handle interprocessor interrupts, reworking the scheduler to distribute threads among multiple cores and writing locking primitives that prevent race conditions.
