 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 
 * See the License for the specific language governing permissions and 
 * limitations under the License.
 */ 

/*
	This is a haggle main function. It's purpose is to let the testsuite run
	a haggle kernel without the need to start a separate program that is haggle.
*/

#include "hagglemain.h"

#include <libcpphaggle/Thread.h>
#include "DataManager.h"