mirage/mirage — pull request #108 by mor1 (2013-09-06 14:07:26+00:00)
Title: [console] implement a 'synchronous' write_s that flushes the buffer

write appears to block currently (with mirage-unix, mirage-net-socket anyway)