<?php
/* Please see the README and LICENSE files. */

/**
 * This actually gets the system running
 */
session_start();
$__system__ = new System($startup_components);
?>