Remote Login - Library Issue Fix

If you want to fix the library issues with bochsi instead of using rhel6login.ifi.uio.no, you can download and source this file:

cp /hom/inf3151/tools/bochsid.sh .

source ./bochsid.sh

It will define an alias for bochs with internal debugging called bochsid depending on the machine you're logged in to.