Simon Renblad 1ab13f5799 runtime: run idle kernel on start-up		2023-11-02 12:21:18 +08:00
..
src	runtime: run idle kernel on start-up	2023-11-02 12:21:18 +08:00
Cargo.toml.tpl	force cargo to use our copy of zynq-rs	2023-10-09 18:27:58 +08:00
build.rs	add satman firmware (#136)	2021-10-08 16:04:50 +08:00