├── .gitignore ├── .rustfmt.toml ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── README.rx ├── cmake_config ├── Cargo.lock ├── Cargo.toml ├── src │ └── lib.rs └── tests │ ├── CMakeCache_tiny.txt │ └── integration.rs ├── rust-toolchain ├── src ├── asm │ ├── aarch64.s │ ├── arm.s │ ├── x86.s │ └── x86_64.s ├── build_cmd.rs ├── clean_cmd.rs ├── cmake_codegen.rs ├── command_ext.rs ├── config.rs ├── deploy_cmd.rs ├── generator.rs ├── lib.rs ├── main.rs ├── new_cmd.rs ├── simulate_cmd.rs └── test_cmd.rs ├── target_specs ├── README.md ├── aarch64-sel4-fel4.json ├── armv7-sel4-fel4.json └── x86_64-sel4-fel4.json ├── templates ├── Cargo.toml.part ├── Xargo.toml ├── fel4_test.rs └── lib.rs └── tests └── basic_integration.rs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/.gitignore -------------------------------------------------------------------------------- /.rustfmt.toml: -------------------------------------------------------------------------------- 1 | wrap_comments = true 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/README.md -------------------------------------------------------------------------------- /README.rx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/README.rx -------------------------------------------------------------------------------- /cmake_config/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/cmake_config/Cargo.lock -------------------------------------------------------------------------------- /cmake_config/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/cmake_config/Cargo.toml -------------------------------------------------------------------------------- /cmake_config/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/cmake_config/src/lib.rs -------------------------------------------------------------------------------- /cmake_config/tests/CMakeCache_tiny.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/cmake_config/tests/CMakeCache_tiny.txt -------------------------------------------------------------------------------- /cmake_config/tests/integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/cmake_config/tests/integration.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly 2 | 3 | -------------------------------------------------------------------------------- /src/asm/aarch64.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/asm/aarch64.s -------------------------------------------------------------------------------- /src/asm/arm.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/asm/arm.s -------------------------------------------------------------------------------- /src/asm/x86.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/asm/x86.s -------------------------------------------------------------------------------- /src/asm/x86_64.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/asm/x86_64.s -------------------------------------------------------------------------------- /src/build_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/build_cmd.rs -------------------------------------------------------------------------------- /src/clean_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/clean_cmd.rs -------------------------------------------------------------------------------- /src/cmake_codegen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/cmake_codegen.rs -------------------------------------------------------------------------------- /src/command_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/command_ext.rs -------------------------------------------------------------------------------- /src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/config.rs -------------------------------------------------------------------------------- /src/deploy_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/deploy_cmd.rs -------------------------------------------------------------------------------- /src/generator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/generator.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/new_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/new_cmd.rs -------------------------------------------------------------------------------- /src/simulate_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/simulate_cmd.rs -------------------------------------------------------------------------------- /src/test_cmd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/src/test_cmd.rs -------------------------------------------------------------------------------- /target_specs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/target_specs/README.md -------------------------------------------------------------------------------- /target_specs/aarch64-sel4-fel4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/target_specs/aarch64-sel4-fel4.json -------------------------------------------------------------------------------- /target_specs/armv7-sel4-fel4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/target_specs/armv7-sel4-fel4.json -------------------------------------------------------------------------------- /target_specs/x86_64-sel4-fel4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/target_specs/x86_64-sel4-fel4.json -------------------------------------------------------------------------------- /templates/Cargo.toml.part: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/templates/Cargo.toml.part -------------------------------------------------------------------------------- /templates/Xargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/templates/Xargo.toml -------------------------------------------------------------------------------- /templates/fel4_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/templates/fel4_test.rs -------------------------------------------------------------------------------- /templates/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/templates/lib.rs -------------------------------------------------------------------------------- /tests/basic_integration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PolySync/cargo-fel4/HEAD/tests/basic_integration.rs --------------------------------------------------------------------------------