├── .ahub └── tcchecker-tca │ └── config.yaml ├── .cargo └── config.toml ├── .editorconfig ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── .pre-commit-config.yaml ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── COPYRIGHT ├── Cargo.lock ├── Cargo.toml ├── Dockerfile ├── LICENSE ├── README.md ├── SECURITY.md ├── debug └── t32.cmm ├── doc ├── SUMMARY.md ├── appendix │ └── index.md ├── book.toml ├── code-analysis │ ├── fuzzing.md │ ├── islet-model-checking.md │ ├── miri.md │ ├── unit-tests.md │ └── verification.md ├── coding-standards │ ├── format-lint.md │ └── rust-unsafe-analysis.md ├── components │ ├── attestation.md │ ├── cca_design.md │ ├── cca_diagram.jpg │ ├── cca_diagram_1.jpg │ ├── cca_diagram_2.jpg │ ├── cca_diagram_3.jpg │ ├── certifier.md │ ├── cli.md │ ├── index.md │ ├── rmm.md │ └── sdk.md ├── crates │ └── index.md ├── dev-dependencies.md ├── dev-site.md ├── getting-started │ ├── app-dev.md │ ├── cca.md │ ├── debug.md │ ├── index.md │ ├── islet-how-to.md │ ├── network.md │ └── run-shortcut.md ├── intro.md ├── islet-overview.png ├── platform-development │ ├── index.md │ └── secure-interaction.md ├── res │ ├── logo-title.jpg │ ├── logo.jpg │ ├── model-checking │ │ ├── activate_results.png │ │ ├── delegate_results.png │ │ ├── el3_modeling1.png │ │ ├── el3_modeling2.png │ │ ├── features_code.png │ │ ├── features_results.png │ │ ├── features_spec_failure.png │ │ ├── granule_invariant.png │ │ ├── host_mem_modeling1.png │ │ ├── host_mem_modeling2.png │ │ ├── islet-features-harness.png │ │ ├── rec_aux_count_results.png │ │ ├── rec_destroy_code.png │ │ ├── rec_destroy_results.png │ │ ├── rec_destroy_spec.png │ │ ├── tf-rmm-features-harness.png │ │ ├── tfrmm_undelegate_harness.png │ │ ├── undelegate_code.png │ │ ├── undelegate_harness.png │ │ ├── undelegate_results.png │ │ ├── undelegate_spec_success.png │ │ ├── version_code.png │ │ ├── version_output.png │ │ └── version_results.png │ ├── overview.png │ ├── sdk-cc-view.png │ ├── sdk-function-call-flow.png │ └── seur │ │ ├── islet-overview.png │ │ ├── islet-v1.png │ │ ├── number-of-unsafe-removed.png │ │ ├── safe-usage-static-variables.png │ │ └── usage-of-unsafe.png ├── sdk-sdd.md └── usecases │ ├── confidential-ml.md │ ├── confidential_ml.md │ ├── cross-platform-e2ee.md │ └── index.md ├── examples ├── README.md ├── app-provisioning │ ├── .gitignore │ ├── Makefile │ ├── README.md │ └── veraison │ │ ├── bootstrap.sh │ │ ├── provision │ │ ├── accept-all.rego │ │ ├── config.yml │ │ ├── pkey.jwk │ │ └── run.sh │ │ ├── veraison-gopls-version.patch │ │ └── veraison-no-auth.patch ├── confidential-ml │ ├── .gitignore │ ├── README.md │ ├── build-service.sh │ ├── code_model.md │ ├── common │ │ ├── build.mak │ │ ├── code_conf.cc │ │ ├── code_model.cc │ │ ├── code_model.h │ │ ├── socket.cc │ │ ├── socket.h │ │ ├── util.h │ │ ├── word_model.cc │ │ └── word_model.h │ ├── device │ │ ├── build.sh │ │ ├── build_aarch64.sh │ │ ├── clean.sh │ │ ├── device.cc │ │ ├── run.sh │ │ └── run_aarch64.sh │ ├── model-provider │ │ ├── build.sh │ │ ├── clean.sh │ │ ├── code_x_data.csv │ │ ├── code_y_data.csv │ │ ├── model.py │ │ ├── model.tflite │ │ ├── model_code.py │ │ ├── model_code.tflite │ │ ├── model_provider.cc │ │ ├── run.sh │ │ ├── wordlist.txt │ │ └── wordlist_short.txt │ ├── provisioning.sh │ ├── run-service.sh │ ├── runtime │ │ ├── build.sh │ │ ├── checkpoint │ │ │ └── placeholder │ │ ├── clean.sh │ │ ├── clean_ckpt.sh │ │ ├── run.sh │ │ └── runtime.cc │ ├── setup-tf.sh │ ├── setup.sh │ ├── toolchain-arm.cmake │ ├── video │ │ ├── confidential_ml.gif │ │ └── confidential_ml.mp4 │ └── word_model.md ├── cross-platform-e2ee │ ├── README.md │ ├── build-client.sh │ ├── build-server.sh │ ├── build-service.sh │ ├── clean.sh │ ├── provisioning.sh │ ├── res │ │ └── xplat-e2ee-components.png │ ├── run-client.sh │ ├── run-fvp.sh │ ├── run-server.sh │ ├── run-service.sh │ ├── setup.sh │ └── toolchain-arm.cmake └── veraison │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── RUN.md │ ├── bootstrap.sh │ ├── diagram.svg │ ├── provisioning │ ├── README.md │ ├── accept-all.rego │ ├── claims │ │ ├── cpak_public.bin │ │ ├── cpak_public.pem │ │ ├── dak_priv.bin │ │ └── platform_token.bin │ ├── config.yml │ ├── pkey.jwk │ ├── run.sh │ ├── skey.jwk │ └── token │ │ ├── token.bin │ │ ├── token2.bin │ │ └── token3.bin │ ├── realm-application │ ├── .cargo │ │ └── config.toml │ ├── .gitignore │ ├── .rustfmt.toml │ ├── Cargo.toml │ ├── root-ca.crt │ └── src │ │ ├── main.rs │ │ └── resolver.rs │ ├── reliant-party │ ├── .cargo │ │ └── config.toml │ ├── .gitignore │ ├── Cargo.toml │ ├── res │ │ ├── bad_example.json │ │ ├── cert │ │ │ ├── server.crt │ │ │ └── server.key │ │ ├── example.json │ │ ├── keys │ │ │ └── pkey.jwk │ │ └── token.bin │ └── src │ │ └── main.rs │ ├── veraison-gopls-version.patch │ └── veraison-no-auth.patch ├── hes ├── .cargo │ └── config.toml ├── Cargo.lock ├── Cargo.toml ├── cpak-generator │ ├── Cargo.toml │ └── src │ │ └── main.rs ├── islet-hes-host-app │ ├── Cargo.toml │ └── src │ │ ├── comms │ │ ├── mod.rs │ │ └── psa_serde.rs │ │ └── main.rs ├── islet-hes │ ├── Cargo.toml │ ├── rust-toolchain.toml │ └── src │ │ ├── attestation │ │ └── mod.rs │ │ ├── hw │ │ └── mod.rs │ │ ├── lib.rs │ │ ├── main.rs │ │ ├── measured_boot │ │ ├── manager.rs │ │ ├── measurement.rs │ │ └── mod.rs │ │ └── utils.rs ├── key-derivation │ ├── Cargo.toml │ └── src │ │ └── lib.rs └── res │ ├── bl2_signed_hash.bin │ └── dummy_guk.bin ├── lib ├── armv9a │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ ├── macro.rs │ │ ├── regs.rs │ │ └── regs │ │ ├── cptr_el2.rs │ │ ├── id_aa64pfr1_el1.rs │ │ ├── id_aa64zfr0_el1.rs │ │ ├── macros.rs │ │ ├── mdcr_el2.rs │ │ ├── pmcr_el0.rs │ │ ├── pmu.rs │ │ ├── smcr_el2.rs │ │ ├── svcr.rs │ │ ├── zcr_el1.rs │ │ └── zcr_el2.rs ├── autopadding │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── io │ ├── Cargo.toml │ └── src │ │ ├── error.rs │ │ └── lib.rs ├── safe-abstraction │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ ├── README.md │ ├── examples │ │ └── raw-ptr.rs │ └── src │ │ └── lib.rs ├── uart │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── pl011.rs └── vmsa │ ├── .cargo │ └── config.toml │ ├── Cargo.toml │ └── src │ ├── address.rs │ ├── error.rs │ ├── guard.rs │ ├── lib.rs │ ├── page.rs │ └── page_table.rs ├── model-checking ├── Cargo.toml ├── Makefile └── src │ ├── common.rs │ ├── lib.rs │ ├── rmi_features.rs │ ├── rmi_granule_delegate.rs │ ├── rmi_granule_undelegate.rs │ ├── rmi_realm_activate.rs │ ├── rmi_realm_destroy.rs │ ├── rmi_rec_aux_count.rs │ ├── rmi_rec_destroy.rs │ ├── rmi_version.rs │ └── stub.c ├── plat ├── .cargo │ └── config.toml ├── Cargo.toml ├── build.rs ├── fvp │ ├── memory.x │ └── plat.rs ├── qemu │ ├── memory.x │ └── plat.rs └── src │ ├── entry.rs │ ├── main.rs │ └── plat.rs ├── realm ├── linux-rsi │ └── Makefile ├── linux │ └── Makefile ├── rsi-test │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ ├── Makefile │ ├── memory.x │ └── src │ │ ├── entry.rs │ │ ├── main.rs │ │ ├── mock.rs │ │ ├── panic.rs │ │ └── stack.rs └── wasm │ ├── Makefile │ └── README.md ├── rmm ├── .cargo │ └── config.toml ├── Cargo.toml ├── README.md ├── fuzz │ ├── .cargo │ │ └── config.toml │ ├── Cargo.toml │ └── fuzz_targets │ │ ├── rmi_data_create_fuzz.rs │ │ ├── rmi_data_create_unknown_fuzz.rs │ │ ├── rmi_features_fuzz.rs │ │ ├── rmi_granule_delegate_fuzz.rs │ │ ├── rmi_granule_undelegate_fuzz.rs │ │ ├── rmi_realm_create_fuzz.rs │ │ ├── rmi_rec_create_fuzz.rs │ │ ├── rmi_rec_enter_data_abort_fuzz.rs │ │ ├── rmi_rec_enter_exit_fuzz.rs │ │ ├── rmi_rec_enter_fuzz.rs │ │ ├── rmi_rtt_create_fuzz.rs │ │ ├── rmi_rtt_fold_fuzz.rs │ │ ├── rmi_rtt_init_ripas_fuzz.rs │ │ ├── rmi_rtt_map_unprotected_fuzz.rs │ │ ├── rmi_rtt_read_entry_fuzz.rs │ │ ├── rmi_rtt_set_ripas_assigned_fuzz.rs │ │ ├── rmi_rtt_set_ripas_destroyed_fuzz.rs │ │ ├── rmi_rtt_set_ripas_fuzz.rs │ │ ├── rmi_version_fuzz.rs │ │ ├── rsi_abi_version_fuzz.rs │ │ ├── rsi_attestation_fuzz.rs │ │ ├── rsi_host_call_fuzz.rs │ │ ├── rsi_invalid_ipa_fuzz.rs │ │ ├── rsi_ipa_state_get_fuzz.rs │ │ ├── rsi_measurement_extend_fuzz.rs │ │ ├── rsi_measurement_read_fuzz.rs │ │ ├── rsi_psci_affinity_info_fuzz.rs │ │ ├── rsi_psci_cpu_on_fuzz.rs │ │ ├── rsi_psci_features_fuzz.rs │ │ └── rsi_realm_config_fuzz.rs └── src │ ├── allocator.rs │ ├── asm.rs │ ├── config.rs │ ├── cose.rs │ ├── cpu.rs │ ├── event │ ├── mainloop.rs │ ├── mod.rs │ ├── realmexit.rs │ ├── rmihandle.rs │ └── rsihandle.rs │ ├── exception │ ├── lower │ │ ├── mod.rs │ │ └── synchronous │ │ │ ├── mod.rs │ │ │ └── sys_reg.rs │ ├── mod.rs │ ├── trap.rs │ ├── trap │ │ ├── frame.rs │ │ └── syndrome.rs │ └── vectors.s │ ├── gic.rs │ ├── granule │ ├── array │ │ ├── entry.rs │ │ └── mod.rs │ ├── mod.rs │ └── page_table │ │ ├── entry.rs │ │ ├── mod.rs │ │ └── translation.rs │ ├── host.rs │ ├── lib.rs │ ├── logger.rs │ ├── macro.rs │ ├── measurement │ ├── ctx.rs │ ├── error.rs │ ├── hash.rs │ └── mod.rs │ ├── mm │ ├── mod.rs │ ├── page.rs │ ├── page_table │ │ ├── attr.rs │ │ ├── entry.rs │ │ └── mod.rs │ └── translation.rs │ ├── monitor.rs │ ├── panic.rs │ ├── pmu.rs │ ├── realm │ ├── config.rs │ ├── mm │ │ ├── address.rs │ │ ├── attribute.rs │ │ ├── entry.rs │ │ ├── mod.rs │ │ ├── page.rs │ │ ├── rtt.rs │ │ ├── stage2_translation.rs │ │ ├── stage2_tte.rs │ │ └── table_level.rs │ ├── mod.rs │ ├── rd.rs │ └── registry.rs │ ├── rec │ ├── context.rs │ ├── gic.rs │ ├── mmio.rs │ ├── mod.rs │ ├── pauth.rs │ ├── pmu.rs │ ├── sea.rs │ ├── simd.rs │ └── timer.rs │ ├── rmi │ ├── constraint.rs │ ├── error.rs │ ├── features.rs │ ├── gpt.rs │ ├── metadata.rs │ ├── mod.rs │ ├── realm │ │ ├── mod.rs │ │ └── params.rs │ ├── rec │ │ ├── exit.rs │ │ ├── handlers.rs │ │ ├── mod.rs │ │ ├── mpidr.rs │ │ ├── params.rs │ │ ├── run.rs │ │ └── vtcr.rs │ ├── rtt.rs │ └── version.rs │ ├── rmm_el3 │ ├── digest.rs │ ├── iface.rs │ ├── manifest.rs │ ├── mod.rs │ └── utils.rs │ ├── rsi │ ├── attestation │ │ ├── claims.rs │ │ └── mod.rs │ ├── constraint.rs │ ├── error.rs │ ├── hostcall.rs │ ├── measurement.rs │ ├── mod.rs │ ├── psci.rs │ ├── ripas.rs │ ├── sealing.rs │ └── version.rs │ ├── simd.rs │ ├── stat.rs │ └── test_utils.rs ├── rust-toolchain ├── scripts ├── .config ├── .config_aosp ├── build-acs.sh ├── build-kvm-unit-tests.sh ├── build-tf-rmm.sh ├── cca_base.py ├── clippy.sh ├── code-coverage.sh ├── config.py ├── config_fvp.py ├── config_qemu.py ├── configure_tap.sh ├── deps │ ├── assets.sh │ ├── cross.sh │ ├── docker.sh │ ├── pkgs-for-ci.sh │ ├── pkgs.sh │ ├── rust.sh │ ├── rust_min.sh │ ├── simulator.sh │ └── submodule.sh ├── docker │ ├── build.rs │ └── run.rs ├── fuzz-coverage.sh ├── fuzz.sh ├── fvp-cca ├── fvp │ ├── configure-net.sh │ ├── launch-realm-debian.sh │ ├── launch-realm-metadata.sh │ ├── launch-realm.sh │ ├── set-realm-ip.sh │ └── test-realm.sh ├── init-unsafe-analysis.sh ├── init.sh ├── init_android_on_qemu.sh ├── init_min.sh ├── init_min_acs.sh ├── init_min_tf_a.sh ├── init_min_tf_a_rss.sh ├── initrd.py ├── make_doc.sh ├── prepare_qemu.sh ├── pylint.sh ├── qemu-cca ├── qemu-cca.py ├── run-unsafe-analysis.sh ├── run_qemu.sh └── tests │ ├── acs.sh │ ├── certifier-compatibility.sh │ ├── crates.sh │ ├── miri.sh │ ├── realm-boot.sh │ └── tf-a-tests.sh ├── sdk ├── .cargo │ └── config.toml ├── Cargo.toml ├── Makefile ├── README.md ├── build.rs ├── examples │ ├── attest_n_seal.rs │ └── c_api │ │ └── attest_seal_test.cc ├── include │ └── islet.h └── src │ ├── attester.rs │ ├── c_api.rs │ ├── config.rs │ ├── error.rs │ ├── lib.rs │ ├── mock.rs │ ├── parser.rs │ ├── prelude.rs │ ├── report.rs │ ├── sealing.rs │ └── verifier.rs ├── skipped-tests.txt └── third-party └── README.md /.ahub/tcchecker-tca/config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.ahub/tcchecker-tca/config.yaml -------------------------------------------------------------------------------- /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.gitmodules -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /COPYRIGHT: -------------------------------------------------------------------------------- 1 | Copyright (c) 2022 Samsung Electronics Co., Ltd. All Rights Reserved. 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/SECURITY.md -------------------------------------------------------------------------------- /debug/t32.cmm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/debug/t32.cmm -------------------------------------------------------------------------------- /doc/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/SUMMARY.md -------------------------------------------------------------------------------- /doc/appendix/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/appendix/index.md -------------------------------------------------------------------------------- /doc/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/book.toml -------------------------------------------------------------------------------- /doc/code-analysis/fuzzing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/code-analysis/fuzzing.md -------------------------------------------------------------------------------- /doc/code-analysis/islet-model-checking.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/code-analysis/islet-model-checking.md -------------------------------------------------------------------------------- /doc/code-analysis/miri.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/code-analysis/miri.md -------------------------------------------------------------------------------- /doc/code-analysis/unit-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/code-analysis/unit-tests.md -------------------------------------------------------------------------------- /doc/code-analysis/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/code-analysis/verification.md -------------------------------------------------------------------------------- /doc/coding-standards/format-lint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/coding-standards/format-lint.md -------------------------------------------------------------------------------- /doc/coding-standards/rust-unsafe-analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/coding-standards/rust-unsafe-analysis.md -------------------------------------------------------------------------------- /doc/components/attestation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/attestation.md -------------------------------------------------------------------------------- /doc/components/cca_design.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/cca_design.md -------------------------------------------------------------------------------- /doc/components/cca_diagram.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/cca_diagram.jpg -------------------------------------------------------------------------------- /doc/components/cca_diagram_1.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/cca_diagram_1.jpg -------------------------------------------------------------------------------- /doc/components/cca_diagram_2.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/cca_diagram_2.jpg -------------------------------------------------------------------------------- /doc/components/cca_diagram_3.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/cca_diagram_3.jpg -------------------------------------------------------------------------------- /doc/components/certifier.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/certifier.md -------------------------------------------------------------------------------- /doc/components/cli.md: -------------------------------------------------------------------------------- 1 | ../../cli/README.md -------------------------------------------------------------------------------- /doc/components/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/components/index.md -------------------------------------------------------------------------------- /doc/components/rmm.md: -------------------------------------------------------------------------------- 1 | ../../rmm/README.md -------------------------------------------------------------------------------- /doc/components/sdk.md: -------------------------------------------------------------------------------- 1 | ../../sdk/README.md -------------------------------------------------------------------------------- /doc/crates/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/crates/index.md -------------------------------------------------------------------------------- /doc/dev-dependencies.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/dev-dependencies.md -------------------------------------------------------------------------------- /doc/dev-site.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/dev-site.md -------------------------------------------------------------------------------- /doc/getting-started/app-dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/app-dev.md -------------------------------------------------------------------------------- /doc/getting-started/cca.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/cca.md -------------------------------------------------------------------------------- /doc/getting-started/debug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/debug.md -------------------------------------------------------------------------------- /doc/getting-started/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/index.md -------------------------------------------------------------------------------- /doc/getting-started/islet-how-to.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/islet-how-to.md -------------------------------------------------------------------------------- /doc/getting-started/network.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/network.md -------------------------------------------------------------------------------- /doc/getting-started/run-shortcut.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/getting-started/run-shortcut.md -------------------------------------------------------------------------------- /doc/intro.md: -------------------------------------------------------------------------------- 1 | ../README.md -------------------------------------------------------------------------------- /doc/islet-overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/islet-overview.png -------------------------------------------------------------------------------- /doc/platform-development/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/platform-development/index.md -------------------------------------------------------------------------------- /doc/platform-development/secure-interaction.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/platform-development/secure-interaction.md -------------------------------------------------------------------------------- /doc/res/logo-title.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/logo-title.jpg -------------------------------------------------------------------------------- /doc/res/logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/logo.jpg -------------------------------------------------------------------------------- /doc/res/model-checking/activate_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/activate_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/delegate_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/delegate_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/el3_modeling1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/el3_modeling1.png -------------------------------------------------------------------------------- /doc/res/model-checking/el3_modeling2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/el3_modeling2.png -------------------------------------------------------------------------------- /doc/res/model-checking/features_code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/features_code.png -------------------------------------------------------------------------------- /doc/res/model-checking/features_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/features_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/features_spec_failure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/features_spec_failure.png -------------------------------------------------------------------------------- /doc/res/model-checking/granule_invariant.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/granule_invariant.png -------------------------------------------------------------------------------- /doc/res/model-checking/host_mem_modeling1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/host_mem_modeling1.png -------------------------------------------------------------------------------- /doc/res/model-checking/host_mem_modeling2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/host_mem_modeling2.png -------------------------------------------------------------------------------- /doc/res/model-checking/islet-features-harness.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/islet-features-harness.png -------------------------------------------------------------------------------- /doc/res/model-checking/rec_aux_count_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/rec_aux_count_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/rec_destroy_code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/rec_destroy_code.png -------------------------------------------------------------------------------- /doc/res/model-checking/rec_destroy_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/rec_destroy_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/rec_destroy_spec.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/rec_destroy_spec.png -------------------------------------------------------------------------------- /doc/res/model-checking/tf-rmm-features-harness.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/tf-rmm-features-harness.png -------------------------------------------------------------------------------- /doc/res/model-checking/tfrmm_undelegate_harness.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/tfrmm_undelegate_harness.png -------------------------------------------------------------------------------- /doc/res/model-checking/undelegate_code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/undelegate_code.png -------------------------------------------------------------------------------- /doc/res/model-checking/undelegate_harness.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/undelegate_harness.png -------------------------------------------------------------------------------- /doc/res/model-checking/undelegate_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/undelegate_results.png -------------------------------------------------------------------------------- /doc/res/model-checking/undelegate_spec_success.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/undelegate_spec_success.png -------------------------------------------------------------------------------- /doc/res/model-checking/version_code.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/version_code.png -------------------------------------------------------------------------------- /doc/res/model-checking/version_output.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/version_output.png -------------------------------------------------------------------------------- /doc/res/model-checking/version_results.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/model-checking/version_results.png -------------------------------------------------------------------------------- /doc/res/overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/overview.png -------------------------------------------------------------------------------- /doc/res/sdk-cc-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/sdk-cc-view.png -------------------------------------------------------------------------------- /doc/res/sdk-function-call-flow.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/sdk-function-call-flow.png -------------------------------------------------------------------------------- /doc/res/seur/islet-overview.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/seur/islet-overview.png -------------------------------------------------------------------------------- /doc/res/seur/islet-v1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/seur/islet-v1.png -------------------------------------------------------------------------------- /doc/res/seur/number-of-unsafe-removed.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/seur/number-of-unsafe-removed.png -------------------------------------------------------------------------------- /doc/res/seur/safe-usage-static-variables.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/seur/safe-usage-static-variables.png -------------------------------------------------------------------------------- /doc/res/seur/usage-of-unsafe.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/res/seur/usage-of-unsafe.png -------------------------------------------------------------------------------- /doc/sdk-sdd.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/sdk-sdd.md -------------------------------------------------------------------------------- /doc/usecases/confidential-ml.md: -------------------------------------------------------------------------------- 1 | ../../examples/confidential-ml/README.md -------------------------------------------------------------------------------- /doc/usecases/confidential_ml.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/usecases/confidential_ml.md -------------------------------------------------------------------------------- /doc/usecases/cross-platform-e2ee.md: -------------------------------------------------------------------------------- 1 | ../../examples/cross-platform-e2ee/README.md -------------------------------------------------------------------------------- /doc/usecases/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/doc/usecases/index.md -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/app-provisioning/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/.gitignore -------------------------------------------------------------------------------- /examples/app-provisioning/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/Makefile -------------------------------------------------------------------------------- /examples/app-provisioning/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/README.md -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/bootstrap.sh -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/provision/accept-all.rego: -------------------------------------------------------------------------------- 1 | package policy 2 | 3 | 4 | executables = APPROVED_RT 5 | -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/provision/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/provision/config.yml -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/provision/pkey.jwk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/provision/pkey.jwk -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/provision/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/provision/run.sh -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/veraison-gopls-version.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/veraison-gopls-version.patch -------------------------------------------------------------------------------- /examples/app-provisioning/veraison/veraison-no-auth.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/app-provisioning/veraison/veraison-no-auth.patch -------------------------------------------------------------------------------- /examples/confidential-ml/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/.gitignore -------------------------------------------------------------------------------- /examples/confidential-ml/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/README.md -------------------------------------------------------------------------------- /examples/confidential-ml/build-service.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/build-service.sh -------------------------------------------------------------------------------- /examples/confidential-ml/code_model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/code_model.md -------------------------------------------------------------------------------- /examples/confidential-ml/common/build.mak: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/build.mak -------------------------------------------------------------------------------- /examples/confidential-ml/common/code_conf.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/code_conf.cc -------------------------------------------------------------------------------- /examples/confidential-ml/common/code_model.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/code_model.cc -------------------------------------------------------------------------------- /examples/confidential-ml/common/code_model.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/code_model.h -------------------------------------------------------------------------------- /examples/confidential-ml/common/socket.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/socket.cc -------------------------------------------------------------------------------- /examples/confidential-ml/common/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/socket.h -------------------------------------------------------------------------------- /examples/confidential-ml/common/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/util.h -------------------------------------------------------------------------------- /examples/confidential-ml/common/word_model.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/word_model.cc -------------------------------------------------------------------------------- /examples/confidential-ml/common/word_model.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/common/word_model.h -------------------------------------------------------------------------------- /examples/confidential-ml/device/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/build.sh -------------------------------------------------------------------------------- /examples/confidential-ml/device/build_aarch64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/build_aarch64.sh -------------------------------------------------------------------------------- /examples/confidential-ml/device/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/clean.sh -------------------------------------------------------------------------------- /examples/confidential-ml/device/device.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/device.cc -------------------------------------------------------------------------------- /examples/confidential-ml/device/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/run.sh -------------------------------------------------------------------------------- /examples/confidential-ml/device/run_aarch64.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/device/run_aarch64.sh -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/build.sh -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/clean.sh -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/code_x_data.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/code_x_data.csv -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/code_y_data.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/code_y_data.csv -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/model.py -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/model.tflite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/model.tflite -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/model_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/model_code.py -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/model_code.tflite: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/model_code.tflite -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/model_provider.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/model_provider.cc -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/run.sh -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/wordlist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/wordlist.txt -------------------------------------------------------------------------------- /examples/confidential-ml/model-provider/wordlist_short.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/model-provider/wordlist_short.txt -------------------------------------------------------------------------------- /examples/confidential-ml/provisioning.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/provisioning.sh -------------------------------------------------------------------------------- /examples/confidential-ml/run-service.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/run-service.sh -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/runtime/build.sh -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/checkpoint/placeholder: -------------------------------------------------------------------------------- 1 | placeholder 2 | -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/runtime/clean.sh -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/clean_ckpt.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | rm -f checkpoint/*.ckpt 4 | -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/runtime/run.sh -------------------------------------------------------------------------------- /examples/confidential-ml/runtime/runtime.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/runtime/runtime.cc -------------------------------------------------------------------------------- /examples/confidential-ml/setup-tf.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/setup-tf.sh -------------------------------------------------------------------------------- /examples/confidential-ml/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/setup.sh -------------------------------------------------------------------------------- /examples/confidential-ml/toolchain-arm.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/toolchain-arm.cmake -------------------------------------------------------------------------------- /examples/confidential-ml/video/confidential_ml.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/video/confidential_ml.gif -------------------------------------------------------------------------------- /examples/confidential-ml/video/confidential_ml.mp4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/video/confidential_ml.mp4 -------------------------------------------------------------------------------- /examples/confidential-ml/word_model.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/confidential-ml/word_model.md -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/README.md -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/build-client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/build-client.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/build-server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/build-server.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/build-service.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/build-service.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/clean.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/provisioning.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/provisioning.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/res/xplat-e2ee-components.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/res/xplat-e2ee-components.png -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/run-client.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/run-client.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/run-fvp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/run-fvp.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/run-server.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/run-server.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/run-service.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/run-service.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/setup.sh -------------------------------------------------------------------------------- /examples/cross-platform-e2ee/toolchain-arm.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/cross-platform-e2ee/toolchain-arm.cmake -------------------------------------------------------------------------------- /examples/veraison/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/.gitignore -------------------------------------------------------------------------------- /examples/veraison/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/Makefile -------------------------------------------------------------------------------- /examples/veraison/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/README.md -------------------------------------------------------------------------------- /examples/veraison/RUN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/RUN.md -------------------------------------------------------------------------------- /examples/veraison/bootstrap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/bootstrap.sh -------------------------------------------------------------------------------- /examples/veraison/diagram.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/diagram.svg -------------------------------------------------------------------------------- /examples/veraison/provisioning/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/README.md -------------------------------------------------------------------------------- /examples/veraison/provisioning/accept-all.rego: -------------------------------------------------------------------------------- 1 | package policy 2 | 3 | 4 | executables = APPROVED_RT 5 | -------------------------------------------------------------------------------- /examples/veraison/provisioning/claims/cpak_public.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/claims/cpak_public.bin -------------------------------------------------------------------------------- /examples/veraison/provisioning/claims/cpak_public.pem: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/claims/cpak_public.pem -------------------------------------------------------------------------------- /examples/veraison/provisioning/claims/dak_priv.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/claims/dak_priv.bin -------------------------------------------------------------------------------- /examples/veraison/provisioning/claims/platform_token.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/claims/platform_token.bin -------------------------------------------------------------------------------- /examples/veraison/provisioning/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/config.yml -------------------------------------------------------------------------------- /examples/veraison/provisioning/pkey.jwk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/pkey.jwk -------------------------------------------------------------------------------- /examples/veraison/provisioning/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/run.sh -------------------------------------------------------------------------------- /examples/veraison/provisioning/skey.jwk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/skey.jwk -------------------------------------------------------------------------------- /examples/veraison/provisioning/token/token.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/token/token.bin -------------------------------------------------------------------------------- /examples/veraison/provisioning/token/token2.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/token/token2.bin -------------------------------------------------------------------------------- /examples/veraison/provisioning/token/token3.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/provisioning/token/token3.bin -------------------------------------------------------------------------------- /examples/veraison/realm-application/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/.cargo/config.toml -------------------------------------------------------------------------------- /examples/veraison/realm-application/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | -------------------------------------------------------------------------------- /examples/veraison/realm-application/.rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/.rustfmt.toml -------------------------------------------------------------------------------- /examples/veraison/realm-application/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/Cargo.toml -------------------------------------------------------------------------------- /examples/veraison/realm-application/root-ca.crt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/root-ca.crt -------------------------------------------------------------------------------- /examples/veraison/realm-application/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/src/main.rs -------------------------------------------------------------------------------- /examples/veraison/realm-application/src/resolver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/realm-application/src/resolver.rs -------------------------------------------------------------------------------- /examples/veraison/reliant-party/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/.cargo/config.toml -------------------------------------------------------------------------------- /examples/veraison/reliant-party/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /examples/veraison/reliant-party/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/Cargo.toml -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/bad_example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/bad_example.json -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/cert/server.crt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/cert/server.crt -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/cert/server.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/cert/server.key -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/example.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/example.json -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/keys/pkey.jwk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/keys/pkey.jwk -------------------------------------------------------------------------------- /examples/veraison/reliant-party/res/token.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/res/token.bin -------------------------------------------------------------------------------- /examples/veraison/reliant-party/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/reliant-party/src/main.rs -------------------------------------------------------------------------------- /examples/veraison/veraison-gopls-version.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/veraison-gopls-version.patch -------------------------------------------------------------------------------- /examples/veraison/veraison-no-auth.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/examples/veraison/veraison-no-auth.patch -------------------------------------------------------------------------------- /hes/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = "x86_64-unknown-linux-gnu" 3 | -------------------------------------------------------------------------------- /hes/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/Cargo.lock -------------------------------------------------------------------------------- /hes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/Cargo.toml -------------------------------------------------------------------------------- /hes/cpak-generator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/cpak-generator/Cargo.toml -------------------------------------------------------------------------------- /hes/cpak-generator/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/cpak-generator/src/main.rs -------------------------------------------------------------------------------- /hes/islet-hes-host-app/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes-host-app/Cargo.toml -------------------------------------------------------------------------------- /hes/islet-hes-host-app/src/comms/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes-host-app/src/comms/mod.rs -------------------------------------------------------------------------------- /hes/islet-hes-host-app/src/comms/psa_serde.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes-host-app/src/comms/psa_serde.rs -------------------------------------------------------------------------------- /hes/islet-hes-host-app/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes-host-app/src/main.rs -------------------------------------------------------------------------------- /hes/islet-hes/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/Cargo.toml -------------------------------------------------------------------------------- /hes/islet-hes/rust-toolchain.toml: -------------------------------------------------------------------------------- 1 | [toolchain] 2 | channel = "nightly" 3 | -------------------------------------------------------------------------------- /hes/islet-hes/src/attestation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/attestation/mod.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/hw/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/hw/mod.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/lib.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/main.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/measured_boot/manager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/measured_boot/manager.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/measured_boot/measurement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/measured_boot/measurement.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/measured_boot/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/measured_boot/mod.rs -------------------------------------------------------------------------------- /hes/islet-hes/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/islet-hes/src/utils.rs -------------------------------------------------------------------------------- /hes/key-derivation/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/key-derivation/Cargo.toml -------------------------------------------------------------------------------- /hes/key-derivation/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/key-derivation/src/lib.rs -------------------------------------------------------------------------------- /hes/res/bl2_signed_hash.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/res/bl2_signed_hash.bin -------------------------------------------------------------------------------- /hes/res/dummy_guk.bin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/hes/res/dummy_guk.bin -------------------------------------------------------------------------------- /lib/armv9a/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = "aarch64-unknown-none-softfloat" 3 | -------------------------------------------------------------------------------- /lib/armv9a/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/Cargo.toml -------------------------------------------------------------------------------- /lib/armv9a/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/lib.rs -------------------------------------------------------------------------------- /lib/armv9a/src/macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/macro.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/cptr_el2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/cptr_el2.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/id_aa64pfr1_el1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/id_aa64pfr1_el1.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/id_aa64zfr0_el1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/id_aa64zfr0_el1.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/macros.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/mdcr_el2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/mdcr_el2.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/pmcr_el0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/pmcr_el0.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/pmu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/pmu.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/smcr_el2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/smcr_el2.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/svcr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/svcr.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/zcr_el1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/zcr_el1.rs -------------------------------------------------------------------------------- /lib/armv9a/src/regs/zcr_el2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/armv9a/src/regs/zcr_el2.rs -------------------------------------------------------------------------------- /lib/autopadding/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/autopadding/Cargo.toml -------------------------------------------------------------------------------- /lib/autopadding/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/autopadding/src/lib.rs -------------------------------------------------------------------------------- /lib/io/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/io/Cargo.toml -------------------------------------------------------------------------------- /lib/io/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/io/src/error.rs -------------------------------------------------------------------------------- /lib/io/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/io/src/lib.rs -------------------------------------------------------------------------------- /lib/safe-abstraction/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/safe-abstraction/.cargo/config.toml -------------------------------------------------------------------------------- /lib/safe-abstraction/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/safe-abstraction/Cargo.toml -------------------------------------------------------------------------------- /lib/safe-abstraction/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/safe-abstraction/README.md -------------------------------------------------------------------------------- /lib/safe-abstraction/examples/raw-ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/safe-abstraction/examples/raw-ptr.rs -------------------------------------------------------------------------------- /lib/safe-abstraction/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/safe-abstraction/src/lib.rs -------------------------------------------------------------------------------- /lib/uart/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/uart/Cargo.toml -------------------------------------------------------------------------------- /lib/uart/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/uart/src/lib.rs -------------------------------------------------------------------------------- /lib/uart/src/pl011.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/uart/src/pl011.rs -------------------------------------------------------------------------------- /lib/vmsa/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = "aarch64-unknown-none-softfloat" 3 | -------------------------------------------------------------------------------- /lib/vmsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/Cargo.toml -------------------------------------------------------------------------------- /lib/vmsa/src/address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/address.rs -------------------------------------------------------------------------------- /lib/vmsa/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/error.rs -------------------------------------------------------------------------------- /lib/vmsa/src/guard.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/guard.rs -------------------------------------------------------------------------------- /lib/vmsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/lib.rs -------------------------------------------------------------------------------- /lib/vmsa/src/page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/page.rs -------------------------------------------------------------------------------- /lib/vmsa/src/page_table.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/lib/vmsa/src/page_table.rs -------------------------------------------------------------------------------- /model-checking/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/Cargo.toml -------------------------------------------------------------------------------- /model-checking/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/Makefile -------------------------------------------------------------------------------- /model-checking/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/common.rs -------------------------------------------------------------------------------- /model-checking/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/lib.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_features.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_features.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_granule_delegate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_granule_delegate.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_granule_undelegate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_granule_undelegate.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_realm_activate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_realm_activate.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_realm_destroy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_realm_destroy.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_rec_aux_count.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_rec_aux_count.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_rec_destroy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_rec_destroy.rs -------------------------------------------------------------------------------- /model-checking/src/rmi_version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/rmi_version.rs -------------------------------------------------------------------------------- /model-checking/src/stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/model-checking/src/stub.c -------------------------------------------------------------------------------- /plat/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/.cargo/config.toml -------------------------------------------------------------------------------- /plat/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/Cargo.toml -------------------------------------------------------------------------------- /plat/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/build.rs -------------------------------------------------------------------------------- /plat/fvp/memory.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/fvp/memory.x -------------------------------------------------------------------------------- /plat/fvp/plat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/fvp/plat.rs -------------------------------------------------------------------------------- /plat/qemu/memory.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/qemu/memory.x -------------------------------------------------------------------------------- /plat/qemu/plat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/qemu/plat.rs -------------------------------------------------------------------------------- /plat/src/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/src/entry.rs -------------------------------------------------------------------------------- /plat/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/src/main.rs -------------------------------------------------------------------------------- /plat/src/plat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/plat/src/plat.rs -------------------------------------------------------------------------------- /realm/linux-rsi/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/linux-rsi/Makefile -------------------------------------------------------------------------------- /realm/linux/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/linux/Makefile -------------------------------------------------------------------------------- /realm/rsi-test/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/.cargo/config.toml -------------------------------------------------------------------------------- /realm/rsi-test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/Cargo.toml -------------------------------------------------------------------------------- /realm/rsi-test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/Makefile -------------------------------------------------------------------------------- /realm/rsi-test/memory.x: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/memory.x -------------------------------------------------------------------------------- /realm/rsi-test/src/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/src/entry.rs -------------------------------------------------------------------------------- /realm/rsi-test/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/src/main.rs -------------------------------------------------------------------------------- /realm/rsi-test/src/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/src/mock.rs -------------------------------------------------------------------------------- /realm/rsi-test/src/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/src/panic.rs -------------------------------------------------------------------------------- /realm/rsi-test/src/stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/rsi-test/src/stack.rs -------------------------------------------------------------------------------- /realm/wasm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/wasm/Makefile -------------------------------------------------------------------------------- /realm/wasm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/realm/wasm/README.md -------------------------------------------------------------------------------- /rmm/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/.cargo/config.toml -------------------------------------------------------------------------------- /rmm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/Cargo.toml -------------------------------------------------------------------------------- /rmm/README.md: -------------------------------------------------------------------------------- 1 | # Rust-based Realm Management Monitor 2 | -------------------------------------------------------------------------------- /rmm/fuzz/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/.cargo/config.toml -------------------------------------------------------------------------------- /rmm/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/Cargo.toml -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_data_create_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_data_create_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_data_create_unknown_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_data_create_unknown_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_features_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_features_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_granule_delegate_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_granule_delegate_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_granule_undelegate_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_granule_undelegate_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_realm_create_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_realm_create_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rec_create_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rec_create_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rec_enter_data_abort_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rec_enter_data_abort_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rec_enter_exit_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rec_enter_exit_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rec_enter_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rec_enter_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_create_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_create_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_fold_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_fold_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_init_ripas_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_init_ripas_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_map_unprotected_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_map_unprotected_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_read_entry_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_read_entry_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_assigned_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_assigned_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_destroyed_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_destroyed_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_rtt_set_ripas_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rmi_version_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rmi_version_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_abi_version_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_abi_version_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_attestation_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_attestation_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_host_call_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_host_call_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_invalid_ipa_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_invalid_ipa_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_ipa_state_get_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_ipa_state_get_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_measurement_extend_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_measurement_extend_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_measurement_read_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_measurement_read_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_psci_affinity_info_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_psci_affinity_info_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_psci_cpu_on_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_psci_cpu_on_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_psci_features_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_psci_features_fuzz.rs -------------------------------------------------------------------------------- /rmm/fuzz/fuzz_targets/rsi_realm_config_fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/fuzz/fuzz_targets/rsi_realm_config_fuzz.rs -------------------------------------------------------------------------------- /rmm/src/allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/allocator.rs -------------------------------------------------------------------------------- /rmm/src/asm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/asm.rs -------------------------------------------------------------------------------- /rmm/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/config.rs -------------------------------------------------------------------------------- /rmm/src/cose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/cose.rs -------------------------------------------------------------------------------- /rmm/src/cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/cpu.rs -------------------------------------------------------------------------------- /rmm/src/event/mainloop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/event/mainloop.rs -------------------------------------------------------------------------------- /rmm/src/event/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/event/mod.rs -------------------------------------------------------------------------------- /rmm/src/event/realmexit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/event/realmexit.rs -------------------------------------------------------------------------------- /rmm/src/event/rmihandle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/event/rmihandle.rs -------------------------------------------------------------------------------- /rmm/src/event/rsihandle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/event/rsihandle.rs -------------------------------------------------------------------------------- /rmm/src/exception/lower/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod synchronous; 2 | -------------------------------------------------------------------------------- /rmm/src/exception/lower/synchronous/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod sys_reg; 2 | -------------------------------------------------------------------------------- /rmm/src/exception/lower/synchronous/sys_reg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/lower/synchronous/sys_reg.rs -------------------------------------------------------------------------------- /rmm/src/exception/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/mod.rs -------------------------------------------------------------------------------- /rmm/src/exception/trap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/trap.rs -------------------------------------------------------------------------------- /rmm/src/exception/trap/frame.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/trap/frame.rs -------------------------------------------------------------------------------- /rmm/src/exception/trap/syndrome.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/trap/syndrome.rs -------------------------------------------------------------------------------- /rmm/src/exception/vectors.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/exception/vectors.s -------------------------------------------------------------------------------- /rmm/src/gic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/gic.rs -------------------------------------------------------------------------------- /rmm/src/granule/array/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/array/entry.rs -------------------------------------------------------------------------------- /rmm/src/granule/array/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/array/mod.rs -------------------------------------------------------------------------------- /rmm/src/granule/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/mod.rs -------------------------------------------------------------------------------- /rmm/src/granule/page_table/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/page_table/entry.rs -------------------------------------------------------------------------------- /rmm/src/granule/page_table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/page_table/mod.rs -------------------------------------------------------------------------------- /rmm/src/granule/page_table/translation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/granule/page_table/translation.rs -------------------------------------------------------------------------------- /rmm/src/host.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/host.rs -------------------------------------------------------------------------------- /rmm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/lib.rs -------------------------------------------------------------------------------- /rmm/src/logger.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/logger.rs -------------------------------------------------------------------------------- /rmm/src/macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/macro.rs -------------------------------------------------------------------------------- /rmm/src/measurement/ctx.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/measurement/ctx.rs -------------------------------------------------------------------------------- /rmm/src/measurement/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/measurement/error.rs -------------------------------------------------------------------------------- /rmm/src/measurement/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/measurement/hash.rs -------------------------------------------------------------------------------- /rmm/src/measurement/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/measurement/mod.rs -------------------------------------------------------------------------------- /rmm/src/mm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/mod.rs -------------------------------------------------------------------------------- /rmm/src/mm/page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/page.rs -------------------------------------------------------------------------------- /rmm/src/mm/page_table/attr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/page_table/attr.rs -------------------------------------------------------------------------------- /rmm/src/mm/page_table/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/page_table/entry.rs -------------------------------------------------------------------------------- /rmm/src/mm/page_table/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/page_table/mod.rs -------------------------------------------------------------------------------- /rmm/src/mm/translation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/mm/translation.rs -------------------------------------------------------------------------------- /rmm/src/monitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/monitor.rs -------------------------------------------------------------------------------- /rmm/src/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/panic.rs -------------------------------------------------------------------------------- /rmm/src/pmu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/pmu.rs -------------------------------------------------------------------------------- /rmm/src/realm/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/config.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/address.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/attribute.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/attribute.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/entry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/entry.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/mod.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/page.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/rtt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/rtt.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/stage2_translation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/stage2_translation.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/stage2_tte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/stage2_tte.rs -------------------------------------------------------------------------------- /rmm/src/realm/mm/table_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mm/table_level.rs -------------------------------------------------------------------------------- /rmm/src/realm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/mod.rs -------------------------------------------------------------------------------- /rmm/src/realm/rd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/rd.rs -------------------------------------------------------------------------------- /rmm/src/realm/registry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/realm/registry.rs -------------------------------------------------------------------------------- /rmm/src/rec/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/context.rs -------------------------------------------------------------------------------- /rmm/src/rec/gic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/gic.rs -------------------------------------------------------------------------------- /rmm/src/rec/mmio.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/mmio.rs -------------------------------------------------------------------------------- /rmm/src/rec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/mod.rs -------------------------------------------------------------------------------- /rmm/src/rec/pauth.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/pauth.rs -------------------------------------------------------------------------------- /rmm/src/rec/pmu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/pmu.rs -------------------------------------------------------------------------------- /rmm/src/rec/sea.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/sea.rs -------------------------------------------------------------------------------- /rmm/src/rec/simd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/simd.rs -------------------------------------------------------------------------------- /rmm/src/rec/timer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rec/timer.rs -------------------------------------------------------------------------------- /rmm/src/rmi/constraint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/constraint.rs -------------------------------------------------------------------------------- /rmm/src/rmi/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/error.rs -------------------------------------------------------------------------------- /rmm/src/rmi/features.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/features.rs -------------------------------------------------------------------------------- /rmm/src/rmi/gpt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/gpt.rs -------------------------------------------------------------------------------- /rmm/src/rmi/metadata.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/metadata.rs -------------------------------------------------------------------------------- /rmm/src/rmi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/mod.rs -------------------------------------------------------------------------------- /rmm/src/rmi/realm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/realm/mod.rs -------------------------------------------------------------------------------- /rmm/src/rmi/realm/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/realm/params.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/exit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/exit.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/handlers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/handlers.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/mod.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/mpidr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/mpidr.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/params.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/run.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rec/vtcr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rec/vtcr.rs -------------------------------------------------------------------------------- /rmm/src/rmi/rtt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/rtt.rs -------------------------------------------------------------------------------- /rmm/src/rmi/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmi/version.rs -------------------------------------------------------------------------------- /rmm/src/rmm_el3/digest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmm_el3/digest.rs -------------------------------------------------------------------------------- /rmm/src/rmm_el3/iface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmm_el3/iface.rs -------------------------------------------------------------------------------- /rmm/src/rmm_el3/manifest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmm_el3/manifest.rs -------------------------------------------------------------------------------- /rmm/src/rmm_el3/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmm_el3/mod.rs -------------------------------------------------------------------------------- /rmm/src/rmm_el3/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rmm_el3/utils.rs -------------------------------------------------------------------------------- /rmm/src/rsi/attestation/claims.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/attestation/claims.rs -------------------------------------------------------------------------------- /rmm/src/rsi/attestation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/attestation/mod.rs -------------------------------------------------------------------------------- /rmm/src/rsi/constraint.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/constraint.rs -------------------------------------------------------------------------------- /rmm/src/rsi/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/error.rs -------------------------------------------------------------------------------- /rmm/src/rsi/hostcall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/hostcall.rs -------------------------------------------------------------------------------- /rmm/src/rsi/measurement.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/measurement.rs -------------------------------------------------------------------------------- /rmm/src/rsi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/mod.rs -------------------------------------------------------------------------------- /rmm/src/rsi/psci.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/psci.rs -------------------------------------------------------------------------------- /rmm/src/rsi/ripas.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/ripas.rs -------------------------------------------------------------------------------- /rmm/src/rsi/sealing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/sealing.rs -------------------------------------------------------------------------------- /rmm/src/rsi/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/rsi/version.rs -------------------------------------------------------------------------------- /rmm/src/simd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/simd.rs -------------------------------------------------------------------------------- /rmm/src/stat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/stat.rs -------------------------------------------------------------------------------- /rmm/src/test_utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/rmm/src/test_utils.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | nightly-2025-04-28 2 | -------------------------------------------------------------------------------- /scripts/.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/.config -------------------------------------------------------------------------------- /scripts/.config_aosp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/.config_aosp -------------------------------------------------------------------------------- /scripts/build-acs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/build-acs.sh -------------------------------------------------------------------------------- /scripts/build-kvm-unit-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/build-kvm-unit-tests.sh -------------------------------------------------------------------------------- /scripts/build-tf-rmm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/build-tf-rmm.sh -------------------------------------------------------------------------------- /scripts/cca_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/cca_base.py -------------------------------------------------------------------------------- /scripts/clippy.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/clippy.sh -------------------------------------------------------------------------------- /scripts/code-coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/code-coverage.sh -------------------------------------------------------------------------------- /scripts/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/config.py -------------------------------------------------------------------------------- /scripts/config_fvp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/config_fvp.py -------------------------------------------------------------------------------- /scripts/config_qemu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/config_qemu.py -------------------------------------------------------------------------------- /scripts/configure_tap.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/configure_tap.sh -------------------------------------------------------------------------------- /scripts/deps/assets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/assets.sh -------------------------------------------------------------------------------- /scripts/deps/cross.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/cross.sh -------------------------------------------------------------------------------- /scripts/deps/docker.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/docker.sh -------------------------------------------------------------------------------- /scripts/deps/pkgs-for-ci.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/pkgs-for-ci.sh -------------------------------------------------------------------------------- /scripts/deps/pkgs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/pkgs.sh -------------------------------------------------------------------------------- /scripts/deps/rust.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/rust.sh -------------------------------------------------------------------------------- /scripts/deps/rust_min.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/rust_min.sh -------------------------------------------------------------------------------- /scripts/deps/simulator.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/simulator.sh -------------------------------------------------------------------------------- /scripts/deps/submodule.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/deps/submodule.sh -------------------------------------------------------------------------------- /scripts/docker/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/docker/build.rs -------------------------------------------------------------------------------- /scripts/docker/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/docker/run.rs -------------------------------------------------------------------------------- /scripts/fuzz-coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fuzz-coverage.sh -------------------------------------------------------------------------------- /scripts/fuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fuzz.sh -------------------------------------------------------------------------------- /scripts/fvp-cca: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp-cca -------------------------------------------------------------------------------- /scripts/fvp/configure-net.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/configure-net.sh -------------------------------------------------------------------------------- /scripts/fvp/launch-realm-debian.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/launch-realm-debian.sh -------------------------------------------------------------------------------- /scripts/fvp/launch-realm-metadata.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/launch-realm-metadata.sh -------------------------------------------------------------------------------- /scripts/fvp/launch-realm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/launch-realm.sh -------------------------------------------------------------------------------- /scripts/fvp/set-realm-ip.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/set-realm-ip.sh -------------------------------------------------------------------------------- /scripts/fvp/test-realm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/fvp/test-realm.sh -------------------------------------------------------------------------------- /scripts/init-unsafe-analysis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init-unsafe-analysis.sh -------------------------------------------------------------------------------- /scripts/init.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init.sh -------------------------------------------------------------------------------- /scripts/init_android_on_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init_android_on_qemu.sh -------------------------------------------------------------------------------- /scripts/init_min.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init_min.sh -------------------------------------------------------------------------------- /scripts/init_min_acs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init_min_acs.sh -------------------------------------------------------------------------------- /scripts/init_min_tf_a.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init_min_tf_a.sh -------------------------------------------------------------------------------- /scripts/init_min_tf_a_rss.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/init_min_tf_a_rss.sh -------------------------------------------------------------------------------- /scripts/initrd.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/initrd.py -------------------------------------------------------------------------------- /scripts/make_doc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/make_doc.sh -------------------------------------------------------------------------------- /scripts/prepare_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/prepare_qemu.sh -------------------------------------------------------------------------------- /scripts/pylint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/pylint.sh -------------------------------------------------------------------------------- /scripts/qemu-cca: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/qemu-cca -------------------------------------------------------------------------------- /scripts/qemu-cca.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/qemu-cca.py -------------------------------------------------------------------------------- /scripts/run-unsafe-analysis.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/run-unsafe-analysis.sh -------------------------------------------------------------------------------- /scripts/run_qemu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/run_qemu.sh -------------------------------------------------------------------------------- /scripts/tests/acs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/acs.sh -------------------------------------------------------------------------------- /scripts/tests/certifier-compatibility.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/certifier-compatibility.sh -------------------------------------------------------------------------------- /scripts/tests/crates.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/crates.sh -------------------------------------------------------------------------------- /scripts/tests/miri.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/miri.sh -------------------------------------------------------------------------------- /scripts/tests/realm-boot.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/realm-boot.sh -------------------------------------------------------------------------------- /scripts/tests/tf-a-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/scripts/tests/tf-a-tests.sh -------------------------------------------------------------------------------- /sdk/.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/.cargo/config.toml -------------------------------------------------------------------------------- /sdk/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/Cargo.toml -------------------------------------------------------------------------------- /sdk/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/Makefile -------------------------------------------------------------------------------- /sdk/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/README.md -------------------------------------------------------------------------------- /sdk/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/build.rs -------------------------------------------------------------------------------- /sdk/examples/attest_n_seal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/examples/attest_n_seal.rs -------------------------------------------------------------------------------- /sdk/examples/c_api/attest_seal_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/examples/c_api/attest_seal_test.cc -------------------------------------------------------------------------------- /sdk/include/islet.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/include/islet.h -------------------------------------------------------------------------------- /sdk/src/attester.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/attester.rs -------------------------------------------------------------------------------- /sdk/src/c_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/c_api.rs -------------------------------------------------------------------------------- /sdk/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/config.rs -------------------------------------------------------------------------------- /sdk/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/error.rs -------------------------------------------------------------------------------- /sdk/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/lib.rs -------------------------------------------------------------------------------- /sdk/src/mock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/mock.rs -------------------------------------------------------------------------------- /sdk/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/parser.rs -------------------------------------------------------------------------------- /sdk/src/prelude.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/prelude.rs -------------------------------------------------------------------------------- /sdk/src/report.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/report.rs -------------------------------------------------------------------------------- /sdk/src/sealing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/sealing.rs -------------------------------------------------------------------------------- /sdk/src/verifier.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/sdk/src/verifier.rs -------------------------------------------------------------------------------- /skipped-tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/skipped-tests.txt -------------------------------------------------------------------------------- /third-party/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/islet-project/islet/HEAD/third-party/README.md --------------------------------------------------------------------------------