Configuration Reference
All values are configured on the command line with --config SECTION.NAME=VALUE
| Key | Type | Default | Description |
|---|---|---|---|
kernel.log_level | enum | LogLevel("warn") | Verbosity of the kernel log output. |
kernel.stack_size_kb | int | 512 | Default thread stack size in kilobytes. |
kernel.max_cpus | int | 64 | Upper bound on the number of CPUs the kernel supports. Every per-CPU table is sized from this, so raising it costs memory whether or not the CPUs exist. At 64 or below a CPU set fits one machine word, which keeps idle/online bitmaps to a single atomic and lets an SBI hart mask reach the whole system in one call. |
Details
kernel.log_level
Verbosity of the kernel log output.
- Type:
enum - Default:
LogLevel("warn")
Configure with --config kernel.log_level=VALUE
kernel.stack_size_kb
Default thread stack size in kilobytes.
- Type:
int - Default:
512
Configure with --config kernel.stack_size_kb=VALUE
kernel.max_cpus
Upper bound on the number of CPUs the kernel supports. Every per-CPU table is sized from this, so raising it costs memory whether or not the CPUs exist. At 64 or below a CPU set fits one machine word, which keeps idle/online bitmaps to a single atomic and lets an SBI hart mask reach the whole system in one call.
- Type:
int - Default:
64
Configure with --config kernel.max_cpus=VALUE