Task-0 implementation for multicore pintos