Call serial_flush() in power_off().
[pintos-anon] / src / misc /
2004-09-21 Ben PfaffAdd jitter feature to Bochs.
2004-09-19 Ben PfaffExplain how to use patch.
2004-09-19 Ben PfaffExplain how to use patch.
2004-09-19 Ben PfaffImprove description.
2004-09-15 Ben PfaffAdd Solaris serial support.
2004-09-13 Ben PfaffBochs patches for Solaris.