Establish native micro runtime checkpoint

1 files changed, 12 insertions, 0 deletions

diff --git a/prototypes/connections/async-server-budget.json b/prototypes/connections/async-server-budget.json
new file mode 100644
index 0000000..b1664fc
--- /dev/null
+++ b/prototypes/connections/async-server-budget.json
@@ -0,0 +1,12 @@
+{
+  "profile": "linux-aarch64-gcc14-selected-read-write-document-http",
+  "binaries": {
+    "pure-connections-async": {
+      "max_text_bytes": 49152,
+      "max_data_bytes": 1200,
+      "max_bss_bytes": 64,
+      "needed": ["libc.so.6"]
+    }
+  },
+  "scope": "Optional one-read/one-write-worker HTTP host on the recorded Linux AArch64/GCC 14 toolchain. Section limits exclude the two 128 KiB worker stacks, libc, heap, mapped files and kernel buffers. Default CLI and HTTP do not link this option. Inspect process RSS and VM separately."
+}