Closed bblum closed 8 years ago
It's a major performance bug.
you only need to make the PP config dynamic. the pintos_kernel or whatever other compile options don't matter.
It's a major performance bug.