diff options
Diffstat (limited to 'linux/subx-params.subx')
-rw-r--r-- | linux/subx-params.subx | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/linux/subx-params.subx b/linux/subx-params.subx new file mode 100644 index 00000000..553b372f --- /dev/null +++ b/linux/subx-params.subx @@ -0,0 +1,19 @@ +# Various knobs for translating SubX programs using SubX. + +== data + +# largest segment that can be translated +Segment-size: + 0x300000/imm32/3MB + +# maximum size of input textual stream (spanning all segments) +Input-size: + 0x600000/imm32/6MB + +# number of labels we can translate to addresses +Max-labels: + 0x60000/imm32/16K-labels/384KB + +# capacity of trace-stream +Trace-size: + 0x200000/imm32/2MB |