#!$(PAL)

loader.preload = file:$(SHIMPATH)
loader.exec = file:$(GCCDIR)/cc1
loader.execname = cc1
loader.env.LD_LIBRARY_PATH = /lib:/lib/x86_64-linux-gnu:/usr/lib:/usr/lib/x86_64-linux-gnu
loader.env.PATH = /bin:/usr/bin
loader.debug_type = $(DEBUGTYPE)

fs.mount.lib1.type = chroot
fs.mount.lib1.path = /lib
fs.mount.lib1.uri = file:$(LIBCDIR)

fs.mount.lib2.type = chroot
fs.mount.lib2.path = /lib/x86_64-linux-gnu
fs.mount.lib2.uri = file:/lib/x86_64-linux-gnu

fs.mount.usr.type = chroot
fs.mount.usr.path = /usr
fs.mount.usr.uri = file:/usr

fs.mount.tmp.type = chroot
fs.mount.tmp.path = /tmp
fs.mount.tmp.uri = file:/tmp

$(HUGERULE)

sgx.trusted_files.ld = file:$(LIBCDIR)/ld-linux-x86-64.so.2
sgx.trusted_files.libc = file:$(LIBCDIR)/libc.so.6
sgx.trusted_files.libdl = file:$(LIBCDIR)/libdl.so.2
sgx.trusted_files.libm = file:$(LIBCDIR)/libm.so.6
sgx.trusted_files.libz = file:/lib/x86_64-linux-gnu/libz.so.1
sgx.trusted_files.libpthread = file:$(LIBCDIR)/libpthread.so.0
sgx.trusted_files.cloog = file:/usr/lib/x86_64-linux-gnu/libcloog-isl.so.4
sgx.trusted_files.isl = file:/usr/lib/x86_64-linux-gnu/libisl.so
sgx.trusted_files.mpc = file:/usr/lib/x86_64-linux-gnu/libmpc.so.3
sgx.trusted_files.mpfr = file:/usr/lib/x86_64-linux-gnu/libmpfr.so.4
sgx.trusted_files.gmp = file:/usr/lib/x86_64-linux-gnu/libgmp.so.10

sgx.allowed_files.tmp = file:/tmp
sgx.allowed_files.test_files = file:test_files
sgx.allowed_files.inc = file:/usr/include
sgx.allowed_files.gccinc = file:$(GCCDIR)/include
sgx.allowed_files.gccincfixed = file:$(GCCDIR)/include-fixed