Files
bare-operating-system/packages/bare-os-coreutils/man/pages/kernel-doctor.json
T
Raven Scott 4fa8c14079 When the host leaves these unset, the booter now sets
BARE_OS_SHELL_STREAMING=1, BARE_OS_SHELL_STREAMING_MULT=2,
BARE_OS_PIPELINE_MAX_BYTES (512 MiB), and BARE_OS_PIPELINE_MAX_LINES
(2M) so the high-throughput ~512 MiB burst profile does not require
pre-launch exports.

Align getconf Tier-1 statics with those bases; note legacy rc.profile
exports; refresh handbook, environment appendix, cookbook, and
bare-os-booter CHANGELOG.
2026-04-22 22:09:58 -04:00

16 lines
563 B
JSON

{
"name": "kernel-doctor",
"section": 1,
"title": "kernel-doctor",
"synopsis": [
"kernel-doctor [OPTION]... [OPERAND]..."
],
"description": "Prints a non-secret guest snapshot. With --json, includes /proc JSON (e.g. resources.pipeline: effective maxBytes/maxLines plus absCapBytes/absCapLines ceilings, baseMax*, streamingEnabled) and envHints for select BARE_OS_* keys (including pipeline tunables). See packages/bare-os-coreutils/src/kernel-doctor.js.",
"options": [],
"keywords": [
"kernel-doctor",
"bare-os",
"coreutils"
]
}