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