Lab 4 Solve

[Sh1Fu]

So, there are two labs left, with a deadline before the New Year, so you'll need to push them. The next lab is more interesting than the last one: implementations of custom programmes. There are probably not many modifications to be made, but there is a lot to figure out

Branch to run: lab_4/solve

So, I think it's worth trying to solve in pure Pintos to avoid problems.