aboutsummaryrefslogtreecommitdiffstats
path: root/src/utils/pintos
Commit message (Collapse)AuthorAge
* Output the Pintos command line once more.Filip Strömbäck2018-04-18
| | | | Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
* Fixed compilation issues on the latest GCC and QEMU.Filip Strömbäck2018-04-18
| | | | Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
* make pintos-script perl 5.26 compatibleVidar Westfelt2018-03-22
|
* pintos script: removed cpu kvm32 settingklaar362017-05-19
|
* pintos script modifications for qemu/linuxklaar362017-05-19
|
* pintos script modifications for qemu/solarisklaar362017-05-19
|
* Add support for both qemu and qemu-system-i386 binaries in pintosAnton S2016-05-04
|
* Initial Pintosklaar362015-03-20