Pintos: Simple operating system framework for the 80x86 architectureweb.stanford.edu2 pointsingve3 years ago