# Summary

[Intro](intro.md)

# Building and Debugging k23

- [Quickstart](building/quickstart.md)
- [IDE Setup with rust-analyzer](building/rust-analyzer.md)
- [Debugging k23](building/debugging.md)
- [Boot Arguments](building/boot-args.md)
- [Configuration Reference](configuration/config.md)
- [The buck2 build system](building/buck2.md)
 
 # Contributing to k23
 
- [Adding a Crate](contributing/adding-a-crate.md)
- [Adding Tests](contributing/adding-tests.md)
- [Adding a Third-Party Dependency](contributing/adding-a-dependency.md)
- [Running Checks Across Architectures](contributing/cross-arch-checks.md)

# High-Level Architecture

- [Overview of k23's Architecture](overview.md)
- [System Startup](startup.md)
- [Address Space Layout Randomization (ASLR)](aslr.md)

# CPU Architectures

- [RISC-V](arch/riscv.md)
    - [Virtual Memory Layout on RISC-V](arch/riscv/memory_layout.md)

# WASM Runtime

- [Supported WASM Features & Proposals](wasm/supported_features_and_proposals.md)
