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