MinSFI: Add loader

src/include/minsfi.h

Index: src/include/minsfi.h
diff --git a/src/include/minsfi.h b/src/include/minsfi.h
new file mode 100644
index 0000000000000000000000000000000000000000..19d419a2f2d3253e479665240e79340de84f3a42
--- /dev/null
+++ b/src/include/minsfi.h
@@ -0,0 +1,27 @@
+/*
+ * Copyright (c) 2014 The Native Client Authors. All rights reserved.
+ * Use of this source code is governed by a BSD-style license that can be
+ * found in the LICENSE file.
+ */
+
+#ifndef MINSFI_H
+#define MINSFI_H
+
+#include <stdbool.h>
+
+/*
+ * Initializes the address subspace if it has not been initialized yet and
+ * invokes the entry function of the sandbox.
+ *
+ * Returns EXIT_FAILURE if the sandbox cannot be initialized. Otherwise returns
+ * the exit value returned by the sandbox.
+ */
+int minsfi_exec(void);
+
+/*
+ * Destroys the MinSFI address subspace if there is one. Returns FALSE if
+ * a subspace exists but could not be destroyed.
+ */
+bool minsfi_destroy(void);
+
+#endif  // MINSFI_H