在用作DomU运行的simple OS中…

simple OS是我仿照xen/extra/minios写的一个支持DomU的更小内核，假设其start_kernel只有如下两行：

 9 void start_kernel(start_info_t * start_info)

 10 {

 11         int i=0;

 12         int j=0;

 13         extern char _text[];

 14         _text[0]=1;

 15         while(1);

 16 }

这个程序是正常运行的，而且通过Dom0查看_text[0]的值，竟然真的被改为1了。难道 domain builder默认把所有属于虚拟机的内存直接映射为可读的？