f9micro/f9-kernel — pull request #59 by vh21 (2013-10-22 23:07:48+00:00)
Title: Tweak dbg

Slightly tweak the debug device configuration and add ram-base debug device.