RustForge

rust-kernel

Rustbelt: a hobby x86_64 kernel written in Rust

rust-kernel / .cargo / config.toml
523 bytes ยท raw
1
2
3
4
5
6
7
8
9
10
11
12
[unstable]
json-target-spec = true                       # allow our custom x86_64-rust_kernel.json
build-std = ["core", "compiler_builtins", "alloc"] # compile core (+ alloc for the heap) for our target
build-std-features = ["compiler-builtins-mem"] # provide memcpy/memset/etc.

[build]
target = "x86_64-rust_kernel.json"

# `cargo run` -> build a bootable image and boot it in QEMU.
[target.'cfg(target_os = "none")']
# scripts/runner.sh = `bootimage runner` + a cache fix (see the script).
runner = "scripts/runner.sh"