On Apr 14, 2015, at 11:25 AM, Cormac O'Brien wrote:
Nothing is printed.
Are you launching QEMU with -nographic and -serial stdio?
I don't like the -nographic option because it makes quitting QEMU really difficult. The -serial stdio option appears to not be able to work with the -nographic option. The options did not yield any debug output. Maybe there is something wrong with printk.