Call serial_flush() in power_off().
[pintos-anon] / src / utils /
2004-09-21 Ben PfaffSupport jitter feature.
2004-09-20 Ben PfaffIgnore bochs return code, it's not useful.
2004-09-20 Ben PfaffEnable ata1 under Bochs if hdc or hdd is needed.
2004-09-18 Ben PfaffBug fixes.
2004-09-16 Ben Pfaffbacktrace utility
2004-09-15 Ben PfaffFix serial device handling.
2004-09-15 Ben PfaffImprove flexibility.
2004-09-14 Ben PfaffImprove VMware GSX Server support.
2004-09-14 Ben PfaffSupport VMware Workstation.
2004-09-14 Ben PfaffMake it work.
2004-09-14 Ben Pfafffirst try