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