rust-kernel
Rustbelt: a hobby x86_64 kernel written in Rust
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 | //! Build script: compile the user programs in user/ into ELF executables in
//! OUT_DIR. The kernel embeds them with `include_bytes!` (src/lib.rs).
//!
//! They're compiled with plain `rustc` for the built-in `x86_64-unknown-none`
//! target (prebuilt `core`, so no build-std needed), as static executables
//! (`relocation-model=static`) linked at a high user address -- which needs
//! the `large` code model (the default ones assume code in the low/high 2 GiB).
use ;
const PROGRAMS: & = &;
|