1 # Various knobs for translating SubX programs using SubX. 2 3 == data 4 5 # largest segment that can be translated 6 Segment-size: 7 0x200000/imm32/2MB 8 9 # maximum size of input textual stream (spanning all segments) 10 Input-size: 11 0x400000/imm32/4MB 12 13 # number of labels we can translate to addresses 14 Max-labels: 15 0x30000/imm32/8K-labels/192KB 16 17 # capacity of trace-stream 18 Trace-size: 19 0x100000/imm32/1MB