Bring personal branch up to date See merge request lab2425_autumn/pintos_22!7
Merge contributions from gleb-bsd to main merged repo See merge request lab2425_autumn/pintos_22!6