# more .VLM
#genera.network: 192.245.4.23;mask=255.255.255.0
genera.network: 10.0.0.2;mask=255.255.255.0; gateway=10.0.0.1

genera.virtualMemory: 2048

#genera.enableIDS: yes
#genera.world: /home/brad/genera_8_3.ilod
#genera.world: /usr/lib/symbolics/G5a.vlod
#genera.world: /usr/lib/symbolics/G5.vlod
#genera.world: /usr/lib/symbolics/MIT.vlod
#genera.world: ../cvlm/CL-HTTP-A-CSAIL-8-5.vlod.bak
#genera.world: ../symbolics/Genera-8-5.vlod
#genera.world: ../symbolics/genera_8_3.ilod

#genera.world: ../cvlm/CL-HTTP-A-CSAIL-8-5.vlod
#genera.world: ../symbolics/Genera-8-5.vlod
genera.world: ../symbolics/MIT.vlod
#genera.world: /tmp/world.vlod

genera.debugger: ../symbolics/VLM_debugger
genera.coldLoad.geometry: 800x600
 
#minima.network: og5-vlm1.ai.mit.edu;mask=255.255.255.0;gateway=128.52.39.10
#minima.diagnosticHost: rainier-vlm.ai.mit.edu
#minima.spy: yes
 
#iverify.diagnosticHost: rainier-vlm.ai.mit.edu
#iverify.spy: yes
