Reference
Tables that the tool generates from the code and the files that define each thing. The guides explain why; these tables say what exists in this build.
| Table | What it holds | Generated from |
|---|---|---|
| Glossary | Each term of the project, with its definition. A term on another page links here. | docs/GLOSSARY.md |
| Commands of kerneltool | Each command of the tool of the project, with what it does. | tools/kerneltool/main.odin |
| Measured numbers | Each number that the machine tests print, with its log and its conditions. | build/test_output*.txt |
| Licenses | The license, the author, the version and the place of each part of the system and of each tool of its build. | flake.nix |
| Kernel operations | Each operation that a program asks the kernel, with its number, its parameters and its result; the status of a completion. | contract/operation/operation.odin |
| The context of a program | The place of each handle and each value in the context that a program receives. | contract/operation/operation.odin |
| Error kinds and units | Each kind and each unit of the error record, with the meaning of its values. | contract/errors/errors.odin |
| Grants of the root service | What the root service gives each program at its start, and what it records and can revoke. | programs/root/main.odin |
| Fixed ranges | Each range of addresses that the system gives a program, with its address. | contract/fixed_addresses/fixed_addresses.odin |
| Commands of the console | Each built-in command of the console, as help() prints it. | programs/console/commands.odin |
| Modules | Each module and program, with a page for each: its documentation, its exports, its imports, and for a program its grants and its budget. | tools/kerneltool/modules.odin |