f9micro/f9-kernel — pull request #49 by vh21 (2013-09-11 13:28:21+00:00)
Title: Tweak dbg

Clean up debug IO channel and stdio channel. By the way, debug IO channel is abstracted as debug_device, which reserve the flexibility to use RAM or other devices as output port.