调试的时候，要把电脑当作单片机来使用，故先需要添加串口，方便进行打印调试
http://wiki.minix3.org/doku.php?id=developersguide:serialout
1. 将虚拟机串口重定向到 \.pipevbox
2. 下载Named Pipe TCP proxy 地址： http://pan.baidu.com/s/1jHY0x2e
创建一个新的连接，设置管道为\.pipevbox，端口号为1001
3. 创建一个telnet连接到本地的1001端口，即127.0.0.1：1001
4. 在开机时编辑启动条目，在后面加上 cttyline=0 cttybaud=115200
5. 启动虚拟机的时候，就可以看到kprintf的输出了，新版本叫printf