Skip to content
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
1caf270
[Feature] add dtgen device tree compile-time code generator
LuisRuisinger Mar 16, 2026
9993751
Fix
LuisRuisinger Mar 17, 2026
5f029f9
[Fix]
LuisRuisinger Mar 17, 2026
52d9101
[Fix]
LuisRuisinger Mar 18, 2026
30e155f
[Fix] chosen node
LuisRuisinger Mar 22, 2026
517c27e
[Rewrite]
LuisRuisinger Mar 23, 2026
2e114fd
[Fix] codegen
LuisRuisinger Mar 23, 2026
eb75e00
[Rewrite]
LuisRuisinger Mar 23, 2026
26de47d
[WIP] dtgen integration
LuisRuisinger Mar 26, 2026
5ac9bda
[Fix] typo
LuisRuisinger Mar 26, 2026
0217888
[Fix] kani
LuisRuisinger Mar 26, 2026
f5240fe
Adding dts files device build support
LuisRuisinger Mar 28, 2026
a5f5c7f
Adding dts files device build support
LuisRuisinger Mar 28, 2026
103164e
Better design choice for reusing zephyrs device tree structure
LuisRuisinger Mar 28, 2026
b9e3748
CI test
LuisRuisinger Mar 29, 2026
f05ba4d
CI test
LuisRuisinger Mar 29, 2026
5d2344c
boards toplevel dir should contain toplevel dts of targeted board; to…
LuisRuisinger Mar 29, 2026
2bff29e
XMerge branch 'main' into feature/comptime_devicetree_gen
LuisRuisinger Mar 29, 2026
0085369
[Fix] by accident a Vec got emitted
LuisRuisinger Mar 29, 2026
f458d45
[Fix] kani proof
LuisRuisinger Mar 29, 2026
9847a34
[Fix] kani proof
LuisRuisinger Mar 29, 2026
8a4d9ee
[Fix] maybe I am genuinly too tired and stupid to write kani proofs
LuisRuisinger Mar 29, 2026
e3c571c
[Fix] restore .cargo/config.toml
LuisRuisinger Mar 30, 2026
f106d0c
[Fix] Addressing PR review
LuisRuisinger Apr 1, 2026
b225ee9
XMerge branch 'main' into feature/comptime_devicetree_gen
LuisRuisinger Apr 1, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

193 changes: 193 additions & 0 deletions xtasks/crates/dtgen/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 16 additions & 0 deletions xtasks/crates/dtgen/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
[package]
name = "dtgen"
version = "0.1.0"
edition = "2024"

[lib]
name = "dtgen"
path = "src/lib.rs"

[[bin]]
name = "dtgen"
path = "src/main.rs"

[dependencies]
fdt = "0.1.5"
clap = { version = "4", features = ["derive"] }
Loading
Loading