Skip to content

Instantly share code, notes, and snippets.

@karulont
Created January 29, 2018 13:03
Show Gist options
  • Save karulont/1d6bb35e39b05587446123e00048b4b3 to your computer and use it in GitHub Desktop.
Save karulont/1d6bb35e39b05587446123e00048b4b3 to your computer and use it in GitHub Desktop.
[FacilityModule loghard]
File = libsharemind_facility_loghard.so
Configuration = backend logger [Emulator] module Logger file append emulator.log
[FacilityModule datastoremanager]
File = libsharemind_facility_datastoremanager.so
#Configuration =
[FacilityModule executionprofiler]
File = libsharemind_facility_executionprofiler.so
Configuration = Logger /dev/null
[Module executionprofiler]
File = libsharemind_mod_executionprofiler.so
#Configuration =
[Module algorithms]
File = libsharemind_mod_algorithms.so
#Configuration =
[Module tabledb]
File = libsharemind_mod_tabledb.so
Configuration = miner1-tabledb.cfg
[Module shared3p]
File = libsharemind_mod_shared3p_emu.so
#Configuration =
[ProtectionDomain pd_shared3p]
Kind = shared3p
Configuration = shared3p_emu.cfg
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment