On newer systems -ltinfo needs to be explicitly added to the link flags
[pintos-anon] / src / misc / bochs-2.6.2-jitter-plus-segv.patch
2015-12-17 John OusterhoutPatches to make Bochs 2.6.2 work with Pintos