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