服务器评测
1. 安装的过程比较简单，除了注意选择Fedora镜像并将其置为启动顺序，其余基本上安装默认即可，就不再详述。
2. 在搭建的过程中，遇到的唯一一个问题是，在进入Fedore 13后，安装linux-x86版本的VBoxGuestAddition时，遇到一个问题：
2.1 首先，进入VBoxGuestAdditions.iso在Fedora中的文件夹（Fedora会自动将该镜像mount到/media目录下，也可以在桌面看到），根据对应版本的插件（根据自己的机器，我选的是VBoxLinuxAdditions-x86.run），进行安装。
./VBoxLinuxAdditions-x86.run
2.2 在安装过程中，提示将该增强功能加入内核模块失败。通过搜集网上信息，获知是linux-kernal, linux kernal-devel, linux kernal headers等版本不一致。通过
rpm -qa | grep kernel
命令可以看到各组件的版本。将较旧的版本更新即可。
更新linux-kernal使用: yum install kernel
更新其他使用：yum install kernel-devel
2.3 重新运行./VBoxLinuxAdditions-x86.run安装成功。现在，可以成功地修改客户机的屏幕分辨率，以及设置主客机共享的文件夹了。
1. VirtualBox+Fedora的平台搭建已在前文阐述。
2. 按照trimaran4.0的手册，在Fedora中一步一步地安装。在安装过程中，依次发现不仅需要安装gcc，而且需要安装g++。此外，需要安装flex作为gcc编译器前端。这些在手册中都没有具体提及，但是在后来编译trimaran的过程中会通过报错提示出来。（注：我使用的是Fedora 13的live CD，600多M）。提示一下，安装g++不是使用
yum install g++
而是
yum install gcc-c++
3. 在安装手册第6页的第5步中提及的openimpact和elcor时，成功通过。安装随后的simu时，遇到一个问题：ld cannot find -lm。即，gcc的链接器ld提示找不到库函数m。借助网络，获知m是gcc的标准数学库。使用命令
find / -name libm.* -print
查找系统中是否已经安装了该库。结果发现在/lib目录中有libm.so.***。***表示版本号。既然有这个库，而且/lib是gcc默认搜索的库路径，为什么还是找不到呢？几番折腾，突然发现报错的地方使用的选项是g++ -static，即使用静态库。于是，重新下载gcc的静态库版本。
yum instasll glibc-static
现在再使用命令
find / -name libm.* -print
就可以发现/lib目录中的libm.so.***，并且/usr/lib中有libm.a.***。
4. 现在，使用
cd ../simu; make
重新安装simu，就可以成功了。
