BFE EngineeringandClaude Opus 4.8
4a1ec1d84e
The c8a3 brick was a memory-map fault no behavioural sim can catch: a boot-loaded coprocessor firmware dropped at 0x40000, which is a reserved-memory carve-out on Thunder-Boot boards but plain kernel RAM on ours. config-lint is the static gate for it — parse the rkbin loader .ini for every LOADERn=Hpmcu LOAD_ADDR, parse the target devicetree for reserved-memory ranges, fail if any MCU load lands outside a reservation. Tests encode the brick as a regression against the REAL Thunder-Boot .ini (Hpmcu@0x40000): fails with no rtos@40000 node, passes once reserved; our board's non-TB loader (no boot-loaded MCU) always passes. 6/6 green; CLI verified against the on-disk rkbin .ini files. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017wB8KB3MMQztRDXCMCkPrf
15 lines
397 B
TOML
15 lines
397 B
TOML
[package]
|
|
name = "warden-config-lint"
|
|
version = "0.1.0"
|
|
edition = "2021"
|
|
description = "Static target-config checks for WardenOS: catch memory-map faults (the 0x40000 MCU-load brick class) and other flash-time config mistakes before a flash, not on the bench."
|
|
license = "MIT OR Apache-2.0"
|
|
|
|
[[bin]]
|
|
name = "config-lint"
|
|
path = "src/main.rs"
|
|
|
|
[lib]
|
|
name = "warden_config_lint"
|
|
path = "src/lib.rs"
|