在用作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默认把所有属于虚拟机的内存直接映射为可读的？