NachOS

If you find this error during make:

/usr/bin/ld.bfd.real: cannot find -lstdc++
collect2: error: ld returned 1 exit status
make: *** [nachos] Error 1

use the following command:

sudo ln -s /usr/lib32/libstdc++.so.6 /usr/lib32/libstdc++.so