cargo-fel4-master.zip （38个子文件） 
cargo-fel4-master cmake_config 
Cargo.toml 213B Cargo.lock 11KB src lib.rs 16KB tests 
CMakeCache_tiny.txt 242B integration.rs 3KB .rustfmt.toml 21B Cargo.toml 487B target_specs x86_64-sel4-fel4.json 717B aarch64-sel4-fel4.json 871B README.md 1KB armv7-sel4-fel4.json 854B Cargo.lock 30KB src simulate_cmd.rs 1KB command_ext.rs 2KB clean_cmd.rs 895B main.rs 2KB test_cmd.rs 2KB config.rs 10KB build_cmd.rs 13KB deploy_cmd.rs 1KB cmake_codegen.rs 5KB asm x86.s 2KB aarch64.s 492B arm.s 873B x86_64.s 1KB lib.rs 2KB new_cmd.rs 4KB generator.rs 9KB rust-toolchain 9B LICENSE 1KB README.md 9KB README.rx 857B tests basic_integration.rs 8KB templates fel4_test.rs 4KB Xargo.toml 150B Cargo.toml.part 371B lib.rs 721B .gitignore 53B资源评论
