diff options
Diffstat (limited to 'prototypes/connections/tui-budget.json')
| -rw-r--r-- | prototypes/connections/tui-budget.json | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/prototypes/connections/tui-budget.json b/prototypes/connections/tui-budget.json index 1ca06b0..645ddc5 100644 --- a/prototypes/connections/tui-budget.json +++ b/prototypes/connections/tui-budget.json @@ -5,8 +5,10 @@ "max_text_bytes": 32768, "max_data_bytes": 1152, "max_bss_bytes": 64, - "needed": ["libc.so.6"] + "needed": [ + "libc.so.6" + ] } }, - "scope": "Release-linked optional POSIX terminal editor for one build-time prepared document app, including the bounded document browser. The raised text ceiling reviews its measured 2,541-byte addition; default CLI and core ceilings are unchanged. Excludes libc, terminal emulator, kernel TTY buffers, heap and stack. Whole-process RSS, including 1,024-key browsing, is checked by check_tui.py on the recorded Linux AArch64 host." + "scope": "Release-linked optional POSIX terminal editor for one build-time prepared document app, including the bounded document browser. The raised text ceiling reviews its measured 2,541-byte addition; default CLI and core ceilings are unchanged. Excludes libc, terminal emulator, kernel TTY buffers, heap and stack. Whole-process RSS, including 1,024-key browsing, is checked by check_tui.py on the recorded Linux AArch64 host. Key listing through the selected store added a measured 352 bytes within this ceiling (2026-09-25)." } |