fix(renaser): apagar debug-assertions/overflow-checks vía rustflags
1# =============================================================================
2# renaser :: configuracion de cargo
3# -----------------------------------------------------------------------------
4# El kernel se compila contra el target NATIVO precompilado `x86_64-unknown-none`
5# (bare-metal, soft-float, sin SSE). No hay JSON propio ni `build-std`: cero
6# burocracia del compilador, aislamiento de arquitectura sin friccion.
7# =============================================================================
8
9[unstable]
10# Dependencias de artefacto (RFC 3028): permiten que el miembro `boot` ordene a
11# cargo compilar el kernel para `x86_64-unknown-none` de forma automatica y
12# reciba la ruta de su ELF. Sigue siendo una funcion inestable (nightly).
13bindeps = true
14
15# Banderas para TODA crate que se compile hacia `x86_64-unknown-none` (el
16# target bare-metal del kernel). Apagar `debug-assertions` y `overflow-checks`
17# elimina las `unchecked_mul::precondition_check` que la stdlib inyecta en
18# debug — son verificaciones cuyo propio camino de panico, en bare-metal,
19# escribe en regiones que el cargador no mapeo: un colapso DENTRO de la red
20# de seguridad del colapso. Los `[profile]` no llegaban a las dependencias
21# precompiladas; `rustflags` por target si lo hace.
22[target.x86_64-unknown-none]
23rustflags = ["-Cdebug-assertions=off", "-Coverflow-checks=off"]
24
25[alias]
26# Compila unicamente el kernel, en aislamiento de arquitectura. Se invoca por
27# `--manifest-path` y NO por `-p kernel`: desde la Fase 7b el kernel y `boot`
28# comparten la crate `formato`, y pedir `-p kernel` dentro del workspace —con
29# el kernel a la vez como dependencia de artefacto— hace caer al resolvedor de
30# features de cargo. Apuntar al manifiesto del kernel lo compila como raiz, sin
31# rozar el grafo de artifact-deps.
32kernel = "build --manifest-path kernel/Cargo.toml --target x86_64-unknown-none"
33# Construye la imagen UEFI y abre QEMU (equivale a `cargo run -p boot`).
34qemu = "run -p boot"