Step by Step

Here is an overview of all steps we need to build and run TinyVMI. The following will introduce all the changes to the original Xen-4.10.0 source code in order to run TinyVMI:

1. Install Xen with XSM FLASK Enabled.

2. Configure TinyVMI

   a) Update XSM FLASK Policy

   b) Update Stubdom Makefile

   c) Update Mini-OS Makefile

   d) Get Target Guest Kernel Info (Linux)

   e) Configure TinyVMI with Target Guest Info

3. Build and Run TinyVMI