
Compiling & making SSC enabled XEN:
-----------------------------------
download latest xen-unstable
apply the provided patches
./configure --enable-stubdom --libdir=/usr/lib64
make -j16 xen
make -j16 tools
make -j16 stubdom
sudo make install-xen
sudo make install-tools
sudo make install-stubdom

Running XEN:
------------
1. start xenstore Stubdom:
xen-unstable.hg/tools/xenstore/init-xenstore-domain stubdom/mini-os-x86_64-xenstore/mini-os 128

2. start xenconsoled:
/usr/local/sbin/xenconsoled --pid-file=/var/run/xenconsoled.pid

3. create DomB:
xl create domain_builder.cfg

4. Start enforcement:
xl start-enforcement

5. create Udom0:
in DomB run 'xl create udom0.cfg'

6. create UdomU:
in DomB run 'xl create udomu.cfg'


