CommanderNyx
and also this: https://www.udacity.com/course/advanced-operating-systems--u...
My university also has its own recordings for the introductory OS class: https://recordings.engineering.illinois.edu:8443/ess/portal/...
with the corresponding course website (for the latest term): http://illinois-cs.github.io/ and lab slides http://weichunstevelee.github.io/labs.html
Unfortunately, access to the machine problems code isn't available unless you are an enrolled student.
But if you are looking just for video recordings, what I linked to is a decent resource.
For Operating Systems Design (a more advanced course): https://recordings.engineering.illinois.edu:8443/ess/portal/...
This is a simple alternative than the solution I wrote about here: https://allysonjulian.com/setting-up-docker-with-xhyve/ which uses docker-machine-driver-xhyve (https://github.com/zchee/docker-machine-driver-xhyve).
I've been trying to figure out how to deal with the env variables used by docker, and used a workaround ~/.profile (https://gist.github.com/astrohckr/efceb07887225cbc2ba2). Like the OP, running eval in every terminal session makes me a bit concerned as well.
I'll give dlite a Go.