jfding/mic — pull request #1 by xiaoqiang0 (2011-12-14 05:34:05+00:00)
Title: Fix two bugs.

Bug description:

Architecture isn't read from the .ks file as in mic2? But still trace shouldn't be shown.
#http://pastie.org/2984703
Mic is unable to find the proper architecture in this case from the repo
#http://pastie.org/2984777