├── .cargo └── config.toml ├── .github └── workflows │ ├── publish-docs.yml │ ├── qemu.yml │ ├── rust.yml │ └── signed-off.yml ├── .gitignore ├── .gitmodules ├── .mailmap ├── CODEOWNERS ├── CODE_OF_CONDUCT.md ├── Cargo.lock ├── Cargo.toml ├── Documentation ├── docs │ ├── RELEASE-PROCESS.md │ ├── developer │ │ ├── ATTESTATION.md │ │ ├── CONTRIBUTING.md │ │ ├── DEVELOPMENT-PLAN.md │ │ ├── DOC-GUIDELINES.md │ │ ├── FUZZING.md │ │ ├── RUSTDOC-GUIDELINES.md │ │ ├── VERIFICATION.md │ │ └── design │ │ │ └── OBJECT.md │ ├── index.md │ └── installation │ │ ├── BUILD_RECIPES.md │ │ └── INSTALL.md └── mkdocs.yml ├── LICENSE-MIT ├── Makefile ├── README.md ├── SECURITY.md ├── bootlib ├── Cargo.toml └── src │ ├── firmware.rs │ ├── igvm_params.rs │ ├── kernel_launch.rs │ ├── lib.rs │ └── platform.rs ├── configs ├── all-targets.json ├── hyperv-target.json ├── qemu-target.json └── vanadium-target.json ├── cpuarch ├── Cargo.toml └── src │ ├── lib.rs │ ├── snp_cpuid.rs │ └── vmsa.rs ├── elf ├── Cargo.toml └── src │ ├── addr_range.rs │ ├── dynamic.rs │ ├── error.rs │ ├── file.rs │ ├── file_range.rs │ ├── header.rs │ ├── lib.rs │ ├── load_segments.rs │ ├── program_header.rs │ ├── relocation.rs │ ├── section_header.rs │ ├── syms.rs │ ├── tests.rs │ └── types.rs ├── fuzz ├── Cargo.toml ├── acpi-dict.txt └── fuzz_targets │ ├── acpi.rs │ ├── alloc.rs │ ├── bitmap_allocator.rs │ ├── fs.rs │ ├── insn.rs │ └── page_alloc.rs ├── kernel ├── .cargo │ └── config.toml ├── Cargo.toml ├── build.rs └── src │ ├── acpi │ ├── mod.rs │ └── tables.rs │ ├── address.rs │ ├── address.verus.rs │ ├── address_inner.verus.rs │ ├── attest.rs │ ├── block │ ├── api.rs │ ├── error.rs │ ├── mod.rs │ └── virtio_blk.rs │ ├── boot_stage2.rs │ ├── config.rs │ ├── console.rs │ ├── cpu │ ├── apic.rs │ ├── control_regs.rs │ ├── cpuid.rs │ ├── cpuset.rs │ ├── efer.rs │ ├── extable.rs │ ├── features.rs │ ├── gdt.rs │ ├── idt │ │ ├── common.rs │ │ ├── mod.rs │ │ ├── stage2.rs │ │ ├── svsm.rs │ │ └── svsm_entry.S │ ├── ipi.rs │ ├── irq_state.rs │ ├── isst.rs │ ├── mem.rs │ ├── mod.rs │ ├── msr.rs │ ├── percpu.rs │ ├── registers.rs │ ├── shadow_stack.rs │ ├── smp.rs │ ├── sse.rs │ ├── tlb.rs │ ├── tss.rs │ ├── vc.rs │ ├── vmsa.rs │ └── x86 │ │ ├── apic.rs │ │ ├── mod.rs │ │ ├── smap.S │ │ ├── smap.rs │ │ └── x2apic.rs │ ├── crypto │ ├── mod.rs │ └── rustcrypto.rs │ ├── debug │ ├── gdbstub.rs │ ├── mod.rs │ └── stacktrace.rs │ ├── error.rs │ ├── fs │ ├── api.rs │ ├── buffer.rs │ ├── console.rs │ ├── filesystem.rs │ ├── init.rs │ ├── mod.rs │ ├── obj.rs │ └── ramfs.rs │ ├── fw_cfg.rs │ ├── greq │ ├── driver.rs │ ├── mod.rs │ ├── msg.rs │ ├── pld_report.rs │ └── services.rs │ ├── hyperv │ ├── hv.rs │ ├── mod.rs │ └── msr.rs │ ├── igvm_params.rs │ ├── insn_decode │ ├── decode.rs │ ├── insn.rs │ ├── mod.rs │ └── opcode.rs │ ├── io.rs │ ├── kernel_region.rs │ ├── lib.rs │ ├── locking │ ├── common.rs │ ├── mod.rs │ ├── rwlock.rs │ └── spinlock.rs │ ├── mm │ ├── address_space.rs │ ├── address_space.verus.rs │ ├── address_space_spec.verus.rs │ ├── alloc.rs │ ├── alloc.verus.rs │ ├── alloc_free.verus.rs │ ├── alloc_info.verus.rs │ ├── alloc_inner.verus.rs │ ├── alloc_perms.verus.rs │ ├── alloc_types.verus.rs │ ├── global_memory.rs │ ├── guestmem.rs │ ├── mappings.rs │ ├── memory.rs │ ├── mod.rs │ ├── page_visibility.rs │ ├── pagebox.rs │ ├── pagetable.rs │ ├── ptguards.rs │ ├── ro_after_init.rs │ ├── validate.rs │ ├── virtualrange.rs │ └── vm │ │ ├── mapping │ │ ├── api.rs │ │ ├── file_mapping.rs │ │ ├── kernel_stack.rs │ │ ├── mod.rs │ │ ├── phys_mem.rs │ │ ├── rawalloc.rs │ │ ├── reserved.rs │ │ └── vmalloc.rs │ │ ├── mod.rs │ │ └── range.rs │ ├── platform │ ├── capabilities.rs │ ├── guest_cpu.rs │ ├── mod.rs │ ├── native.rs │ ├── snp.rs │ ├── snp_fw.rs │ └── tdp.rs │ ├── protocols │ ├── apic.rs │ ├── attest.rs │ ├── core.rs │ ├── errors.rs │ ├── mod.rs │ └── vtpm.rs │ ├── requests.rs │ ├── serial.rs │ ├── sev │ ├── ghcb.rs │ ├── hv_doorbell.rs │ ├── mod.rs │ ├── msr_protocol.rs │ ├── secrets_page.rs │ ├── snp_apic.rs │ ├── status.rs │ ├── tlb.rs │ ├── utils.rs │ └── vmsa.rs │ ├── stage2.lds │ ├── stage2.rs │ ├── svsm.lds │ ├── svsm.rs │ ├── svsm_paging.rs │ ├── syscall │ ├── class0.rs │ ├── class1.rs │ ├── class3.rs │ ├── mod.rs │ └── obj.rs │ ├── task │ ├── exec.rs │ ├── mod.rs │ ├── schedule.rs │ ├── task_mm.rs │ ├── tasks.rs │ └── waiting.rs │ ├── tdx │ ├── apic.rs │ ├── error.rs │ ├── mod.rs │ ├── tdcall.rs │ └── ve.rs │ ├── testing.rs │ ├── testutils.rs │ ├── types.rs │ ├── types.verus.rs │ ├── utils │ ├── bitmap_allocator.rs │ ├── immut_after_init.rs │ ├── memory_region.rs │ ├── mod.rs │ ├── scoped.rs │ ├── tcb_ptr.rs │ ├── util.proof.verus.rs │ ├── util.rs │ ├── util.verus.rs │ └── vec.rs │ ├── virtio │ ├── devices.rs │ ├── error.rs │ ├── hal.rs │ └── mod.rs │ ├── vmm │ ├── execloop.rs │ ├── message.rs │ ├── mod.rs │ └── registers.rs │ └── vtpm │ ├── mod.rs │ └── tcgtpm │ ├── ek_templates.rs │ ├── mod.rs │ ├── tss.rs │ └── wrapper.rs ├── libaproxy ├── Cargo.toml └── src │ ├── attestation.rs │ ├── lib.rs │ └── negotiation.rs ├── libtcgtpm ├── Cargo.toml ├── Makefile ├── build.rs ├── deps │ ├── TpmConfiguration │ │ ├── CMakeLists.txt │ │ ├── TpmConfiguration │ │ │ ├── TpmBuildSwitches.h │ │ │ ├── TpmProfile.h │ │ │ ├── TpmProfile_CommandList.h │ │ │ ├── TpmProfile_Common.h │ │ │ ├── TpmProfile_ErrorCodes.h │ │ │ ├── TpmProfile_Misc.h │ │ │ └── VendorCommands │ │ │ │ ├── CommandAttributeData_s_ccAttr.inl │ │ │ │ ├── CommandAttributeData_s_commandAttributes.inl │ │ │ │ ├── CommandDispatchData_CommandStructures.inl │ │ │ │ ├── CommandDispatchData_s_CommandDataArray.inl │ │ │ │ ├── CommandDispatcher.inl │ │ │ │ ├── HandleProcess.inl │ │ │ │ ├── VendorCommandList.h │ │ │ │ └── prototypes │ │ │ │ └── Vendor_TCG_Test_fp.h │ │ └── TpmVendorCommandHandlers │ │ │ ├── CMakeLists.txt │ │ │ └── Vendor_TCG_Test.c │ ├── libcrt │ │ ├── Makefile │ │ ├── include │ │ │ ├── assert.h │ │ │ ├── atomic.h │ │ │ ├── bits │ │ │ │ ├── alltypes.h │ │ │ │ └── atomic_arch.h │ │ │ ├── ctype.h │ │ │ ├── dirent.h │ │ │ ├── endian.h │ │ │ ├── errno.h │ │ │ ├── fcntl.h │ │ │ ├── inttypes.h │ │ │ ├── libcrt.h │ │ │ ├── limits.h │ │ │ ├── memory.h │ │ │ ├── setjmp.h │ │ │ ├── stdarg.h │ │ │ ├── stdatomic.h │ │ │ ├── stdbool.h │ │ │ ├── stddef.h │ │ │ ├── stdint.h │ │ │ ├── stdio.h │ │ │ ├── stdlib.h │ │ │ ├── string.h │ │ │ ├── strings.h │ │ │ ├── sys │ │ │ │ ├── shm.h │ │ │ │ ├── stat.h │ │ │ │ ├── syscall.h │ │ │ │ ├── time.h │ │ │ │ ├── types.h │ │ │ │ └── utsname.h │ │ │ ├── time.h │ │ │ └── unistd.h │ │ └── src │ │ │ ├── ctype │ │ │ ├── isascii.c │ │ │ ├── isdigit.c │ │ │ ├── islower.c │ │ │ ├── isspace.c │ │ │ ├── isupper.c │ │ │ ├── tolower.c │ │ │ └── toupper.c │ │ │ ├── exit │ │ │ └── assert.c │ │ │ ├── prng │ │ │ └── rand.c │ │ │ ├── setjmp │ │ │ └── x86_64 │ │ │ │ ├── longjmp.s │ │ │ │ └── setjmp.s │ │ │ ├── stdio │ │ │ ├── asprintf.c │ │ │ ├── fprintf.c │ │ │ ├── printf.c │ │ │ ├── printf_wrapper.c │ │ │ ├── snprintf.c │ │ │ ├── sprintf.c │ │ │ ├── vasprintf.c │ │ │ ├── vsnprintf.c │ │ │ └── vsprintf.c │ │ │ ├── stdlib │ │ │ ├── atoi.c │ │ │ ├── qsort.c │ │ │ └── qsort_nr.c │ │ │ ├── string │ │ │ ├── memchr.c │ │ │ ├── memcmp.c │ │ │ ├── memcpy.c │ │ │ ├── memmove.c │ │ │ ├── memrchr.c │ │ │ ├── memset.c │ │ │ ├── stpcpy.c │ │ │ ├── stpncpy.c │ │ │ ├── strcasecmp.c │ │ │ ├── strcat.c │ │ │ ├── strchr.c │ │ │ ├── strchrnul.c │ │ │ ├── strcmp.c │ │ │ ├── strcpy.c │ │ │ ├── strcspn.c │ │ │ ├── strdup.c │ │ │ ├── strlen.c │ │ │ ├── strncasecmp.c │ │ │ ├── strncat.c │ │ │ ├── strncmp.c │ │ │ ├── strncpy.c │ │ │ ├── strrchr.c │ │ │ ├── strspn.c │ │ │ └── strstr.c │ │ │ ├── stub.c │ │ │ └── time │ │ │ ├── __secs_to_tm.c │ │ │ ├── gmtime_r.c │ │ │ └── time.c │ └── openssl_svsm.conf └── src │ └── lib.rs ├── release ├── Cargo.toml ├── build.rs └── src │ └── lib.rs ├── rust-toolchain.toml ├── scripts ├── check-signed-off.sh ├── gen_igvm_signing_keys.sh ├── install-hooks.sh ├── launch_guest.sh ├── pre-commit ├── show-stack-sizes.sh ├── test-in-svsm.sh ├── test-qemu-nocc-svsm.sh ├── test_sign_qemu_igvm.sh ├── vfmt.sh └── vinstall.sh ├── stage1 ├── .cargo │ └── config.toml ├── Cargo.toml ├── build.rs ├── src │ ├── reset.S │ └── stage1.rs └── stage1.lds ├── syscall ├── Cargo.toml └── src │ ├── call.rs │ ├── class0.rs │ ├── class1.rs │ ├── class3.rs │ ├── console.rs │ ├── def.rs │ ├── lib.rs │ └── obj.rs ├── test ├── Cargo.toml └── src │ └── lib.rs ├── tools ├── aproxy │ ├── Cargo.toml │ └── src │ │ ├── attest.rs │ │ ├── backend │ │ ├── kbs.rs │ │ └── mod.rs │ │ └── main.rs ├── cbit │ ├── Cargo.toml │ └── src │ │ └── main.rs ├── gen_meta.c ├── igvmbuilder │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── cmd_options.rs │ │ ├── cpuid.rs │ │ ├── firmware.rs │ │ ├── gpa_map.rs │ │ ├── igvm_builder.rs │ │ ├── igvm_firmware.rs │ │ ├── main.rs │ │ ├── ovmf_firmware.rs │ │ ├── paging.rs │ │ ├── platform.rs │ │ ├── sipi.rs │ │ ├── stage2_stack.rs │ │ └── vmsa.rs ├── igvmmeasure │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── cmd_options.rs │ │ ├── id_block.rs │ │ ├── igvm_measure.rs │ │ ├── main.rs │ │ ├── page_info.rs │ │ └── utils.rs └── print-meta.c ├── user ├── init │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ └── main.rs └── lib │ ├── .gitignore │ ├── Cargo.toml │ ├── module.lds │ └── src │ ├── console.rs │ ├── lib.rs │ └── locking.rs ├── verify_external ├── Cargo.toml ├── build.rs └── src │ ├── convert.rs │ ├── convert.verus.rs │ ├── hw_spec │ ├── mm.verus.rs │ └── mod.rs │ ├── lib.rs │ ├── ptr.rs │ └── ptr.verus.rs ├── verify_proof ├── Cargo.toml ├── build.rs └── src │ ├── bits.rs │ ├── bits.verus.rs │ ├── frac_perm.rs │ ├── frac_ptr.rs │ ├── lib.rs │ ├── nonlinear.rs │ ├── set.rs │ └── sum.rs ├── verus_macro_stub ├── Cargo.toml └── src │ └── lib.rs ├── verus_stub ├── Cargo.toml └── src │ └── lib.rs ├── virtio-drivers ├── Cargo.toml ├── LICENSE └── src │ ├── Cargo.toml │ ├── device │ ├── blk.rs │ ├── common.rs │ └── mod.rs │ ├── hal.rs │ ├── hal │ └── fake.rs │ ├── lib.rs │ ├── queue.rs │ ├── queue │ └── owning.rs │ ├── transport │ ├── fake.rs │ ├── mmio.rs │ └── mod.rs │ └── volatile.rs └── xbuild ├── Cargo.toml └── src ├── features.rs ├── fs.rs ├── fw.rs ├── helpers.rs ├── igvm.rs ├── kernel.rs ├── main.rs └── version.rs /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.github/workflows/publish-docs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.github/workflows/publish-docs.yml -------------------------------------------------------------------------------- /.github/workflows/qemu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.github/workflows/qemu.yml -------------------------------------------------------------------------------- /.github/workflows/rust.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.github/workflows/rust.yml -------------------------------------------------------------------------------- /.github/workflows/signed-off.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.github/workflows/signed-off.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.gitmodules -------------------------------------------------------------------------------- /.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/.mailmap -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/CODEOWNERS -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Cargo.toml -------------------------------------------------------------------------------- /Documentation/docs/RELEASE-PROCESS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/RELEASE-PROCESS.md -------------------------------------------------------------------------------- /Documentation/docs/developer/ATTESTATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/ATTESTATION.md -------------------------------------------------------------------------------- /Documentation/docs/developer/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/CONTRIBUTING.md -------------------------------------------------------------------------------- /Documentation/docs/developer/DEVELOPMENT-PLAN.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/DEVELOPMENT-PLAN.md -------------------------------------------------------------------------------- /Documentation/docs/developer/DOC-GUIDELINES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/DOC-GUIDELINES.md -------------------------------------------------------------------------------- /Documentation/docs/developer/FUZZING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/FUZZING.md -------------------------------------------------------------------------------- /Documentation/docs/developer/RUSTDOC-GUIDELINES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/RUSTDOC-GUIDELINES.md -------------------------------------------------------------------------------- /Documentation/docs/developer/VERIFICATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/VERIFICATION.md -------------------------------------------------------------------------------- /Documentation/docs/developer/design/OBJECT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/developer/design/OBJECT.md -------------------------------------------------------------------------------- /Documentation/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/index.md -------------------------------------------------------------------------------- /Documentation/docs/installation/BUILD_RECIPES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/installation/BUILD_RECIPES.md -------------------------------------------------------------------------------- /Documentation/docs/installation/INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/docs/installation/INSTALL.md -------------------------------------------------------------------------------- /Documentation/mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Documentation/mkdocs.yml -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/SECURITY.md -------------------------------------------------------------------------------- /bootlib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/Cargo.toml -------------------------------------------------------------------------------- /bootlib/src/firmware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/src/firmware.rs -------------------------------------------------------------------------------- /bootlib/src/igvm_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/src/igvm_params.rs -------------------------------------------------------------------------------- /bootlib/src/kernel_launch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/src/kernel_launch.rs -------------------------------------------------------------------------------- /bootlib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/src/lib.rs -------------------------------------------------------------------------------- /bootlib/src/platform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/bootlib/src/platform.rs -------------------------------------------------------------------------------- /configs/all-targets.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/configs/all-targets.json -------------------------------------------------------------------------------- /configs/hyperv-target.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/configs/hyperv-target.json -------------------------------------------------------------------------------- /configs/qemu-target.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/configs/qemu-target.json -------------------------------------------------------------------------------- /configs/vanadium-target.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/configs/vanadium-target.json -------------------------------------------------------------------------------- /cpuarch/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/cpuarch/Cargo.toml -------------------------------------------------------------------------------- /cpuarch/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/cpuarch/src/lib.rs -------------------------------------------------------------------------------- /cpuarch/src/snp_cpuid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/cpuarch/src/snp_cpuid.rs -------------------------------------------------------------------------------- /cpuarch/src/vmsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/cpuarch/src/vmsa.rs -------------------------------------------------------------------------------- /elf/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/Cargo.toml -------------------------------------------------------------------------------- /elf/src/addr_range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/addr_range.rs -------------------------------------------------------------------------------- /elf/src/dynamic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/dynamic.rs -------------------------------------------------------------------------------- /elf/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/error.rs -------------------------------------------------------------------------------- /elf/src/file.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/file.rs -------------------------------------------------------------------------------- /elf/src/file_range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/file_range.rs -------------------------------------------------------------------------------- /elf/src/header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/header.rs -------------------------------------------------------------------------------- /elf/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/lib.rs -------------------------------------------------------------------------------- /elf/src/load_segments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/load_segments.rs -------------------------------------------------------------------------------- /elf/src/program_header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/program_header.rs -------------------------------------------------------------------------------- /elf/src/relocation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/relocation.rs -------------------------------------------------------------------------------- /elf/src/section_header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/section_header.rs -------------------------------------------------------------------------------- /elf/src/syms.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/syms.rs -------------------------------------------------------------------------------- /elf/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/tests.rs -------------------------------------------------------------------------------- /elf/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/elf/src/types.rs -------------------------------------------------------------------------------- /fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/Cargo.toml -------------------------------------------------------------------------------- /fuzz/acpi-dict.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/acpi-dict.txt -------------------------------------------------------------------------------- /fuzz/fuzz_targets/acpi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/acpi.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/alloc.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/bitmap_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/bitmap_allocator.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/fs.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/insn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/insn.rs -------------------------------------------------------------------------------- /fuzz/fuzz_targets/page_alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/fuzz/fuzz_targets/page_alloc.rs -------------------------------------------------------------------------------- /kernel/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = "x86_64-unknown-none" 3 | -------------------------------------------------------------------------------- /kernel/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/Cargo.toml -------------------------------------------------------------------------------- /kernel/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/build.rs -------------------------------------------------------------------------------- /kernel/src/acpi/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/acpi/mod.rs -------------------------------------------------------------------------------- /kernel/src/acpi/tables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/acpi/tables.rs -------------------------------------------------------------------------------- /kernel/src/address.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/address.rs -------------------------------------------------------------------------------- /kernel/src/address.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/address.verus.rs -------------------------------------------------------------------------------- /kernel/src/address_inner.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/address_inner.verus.rs -------------------------------------------------------------------------------- /kernel/src/attest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/attest.rs -------------------------------------------------------------------------------- /kernel/src/block/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/block/api.rs -------------------------------------------------------------------------------- /kernel/src/block/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/block/error.rs -------------------------------------------------------------------------------- /kernel/src/block/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/block/mod.rs -------------------------------------------------------------------------------- /kernel/src/block/virtio_blk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/block/virtio_blk.rs -------------------------------------------------------------------------------- /kernel/src/boot_stage2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/boot_stage2.rs -------------------------------------------------------------------------------- /kernel/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/config.rs -------------------------------------------------------------------------------- /kernel/src/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/console.rs -------------------------------------------------------------------------------- /kernel/src/cpu/apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/apic.rs -------------------------------------------------------------------------------- /kernel/src/cpu/control_regs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/control_regs.rs -------------------------------------------------------------------------------- /kernel/src/cpu/cpuid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/cpuid.rs -------------------------------------------------------------------------------- /kernel/src/cpu/cpuset.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/cpuset.rs -------------------------------------------------------------------------------- /kernel/src/cpu/efer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/efer.rs -------------------------------------------------------------------------------- /kernel/src/cpu/extable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/extable.rs -------------------------------------------------------------------------------- /kernel/src/cpu/features.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/features.rs -------------------------------------------------------------------------------- /kernel/src/cpu/gdt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/gdt.rs -------------------------------------------------------------------------------- /kernel/src/cpu/idt/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/idt/common.rs -------------------------------------------------------------------------------- /kernel/src/cpu/idt/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/idt/mod.rs -------------------------------------------------------------------------------- /kernel/src/cpu/idt/stage2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/idt/stage2.rs -------------------------------------------------------------------------------- /kernel/src/cpu/idt/svsm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/idt/svsm.rs -------------------------------------------------------------------------------- /kernel/src/cpu/idt/svsm_entry.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/idt/svsm_entry.S -------------------------------------------------------------------------------- /kernel/src/cpu/ipi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/ipi.rs -------------------------------------------------------------------------------- /kernel/src/cpu/irq_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/irq_state.rs -------------------------------------------------------------------------------- /kernel/src/cpu/isst.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/isst.rs -------------------------------------------------------------------------------- /kernel/src/cpu/mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/mem.rs -------------------------------------------------------------------------------- /kernel/src/cpu/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/mod.rs -------------------------------------------------------------------------------- /kernel/src/cpu/msr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/msr.rs -------------------------------------------------------------------------------- /kernel/src/cpu/percpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/percpu.rs -------------------------------------------------------------------------------- /kernel/src/cpu/registers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/registers.rs -------------------------------------------------------------------------------- /kernel/src/cpu/shadow_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/shadow_stack.rs -------------------------------------------------------------------------------- /kernel/src/cpu/smp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/smp.rs -------------------------------------------------------------------------------- /kernel/src/cpu/sse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/sse.rs -------------------------------------------------------------------------------- /kernel/src/cpu/tlb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/tlb.rs -------------------------------------------------------------------------------- /kernel/src/cpu/tss.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/tss.rs -------------------------------------------------------------------------------- /kernel/src/cpu/vc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/vc.rs -------------------------------------------------------------------------------- /kernel/src/cpu/vmsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/vmsa.rs -------------------------------------------------------------------------------- /kernel/src/cpu/x86/apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/x86/apic.rs -------------------------------------------------------------------------------- /kernel/src/cpu/x86/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/x86/mod.rs -------------------------------------------------------------------------------- /kernel/src/cpu/x86/smap.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/x86/smap.S -------------------------------------------------------------------------------- /kernel/src/cpu/x86/smap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/x86/smap.rs -------------------------------------------------------------------------------- /kernel/src/cpu/x86/x2apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/cpu/x86/x2apic.rs -------------------------------------------------------------------------------- /kernel/src/crypto/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/crypto/mod.rs -------------------------------------------------------------------------------- /kernel/src/crypto/rustcrypto.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/crypto/rustcrypto.rs -------------------------------------------------------------------------------- /kernel/src/debug/gdbstub.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/debug/gdbstub.rs -------------------------------------------------------------------------------- /kernel/src/debug/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/debug/mod.rs -------------------------------------------------------------------------------- /kernel/src/debug/stacktrace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/debug/stacktrace.rs -------------------------------------------------------------------------------- /kernel/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/error.rs -------------------------------------------------------------------------------- /kernel/src/fs/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/api.rs -------------------------------------------------------------------------------- /kernel/src/fs/buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/buffer.rs -------------------------------------------------------------------------------- /kernel/src/fs/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/console.rs -------------------------------------------------------------------------------- /kernel/src/fs/filesystem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/filesystem.rs -------------------------------------------------------------------------------- /kernel/src/fs/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/init.rs -------------------------------------------------------------------------------- /kernel/src/fs/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/mod.rs -------------------------------------------------------------------------------- /kernel/src/fs/obj.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/obj.rs -------------------------------------------------------------------------------- /kernel/src/fs/ramfs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fs/ramfs.rs -------------------------------------------------------------------------------- /kernel/src/fw_cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/fw_cfg.rs -------------------------------------------------------------------------------- /kernel/src/greq/driver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/greq/driver.rs -------------------------------------------------------------------------------- /kernel/src/greq/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/greq/mod.rs -------------------------------------------------------------------------------- /kernel/src/greq/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/greq/msg.rs -------------------------------------------------------------------------------- /kernel/src/greq/pld_report.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/greq/pld_report.rs -------------------------------------------------------------------------------- /kernel/src/greq/services.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/greq/services.rs -------------------------------------------------------------------------------- /kernel/src/hyperv/hv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/hyperv/hv.rs -------------------------------------------------------------------------------- /kernel/src/hyperv/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/hyperv/mod.rs -------------------------------------------------------------------------------- /kernel/src/hyperv/msr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/hyperv/msr.rs -------------------------------------------------------------------------------- /kernel/src/igvm_params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/igvm_params.rs -------------------------------------------------------------------------------- /kernel/src/insn_decode/decode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/insn_decode/decode.rs -------------------------------------------------------------------------------- /kernel/src/insn_decode/insn.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/insn_decode/insn.rs -------------------------------------------------------------------------------- /kernel/src/insn_decode/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/insn_decode/mod.rs -------------------------------------------------------------------------------- /kernel/src/insn_decode/opcode.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/insn_decode/opcode.rs -------------------------------------------------------------------------------- /kernel/src/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/io.rs -------------------------------------------------------------------------------- /kernel/src/kernel_region.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/kernel_region.rs -------------------------------------------------------------------------------- /kernel/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/lib.rs -------------------------------------------------------------------------------- /kernel/src/locking/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/locking/common.rs -------------------------------------------------------------------------------- /kernel/src/locking/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/locking/mod.rs -------------------------------------------------------------------------------- /kernel/src/locking/rwlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/locking/rwlock.rs -------------------------------------------------------------------------------- /kernel/src/locking/spinlock.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/locking/spinlock.rs -------------------------------------------------------------------------------- /kernel/src/mm/address_space.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/address_space.rs -------------------------------------------------------------------------------- /kernel/src/mm/address_space.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/address_space.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/address_space_spec.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/address_space_spec.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc_free.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc_free.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc_info.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc_info.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc_inner.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc_inner.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc_perms.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc_perms.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/alloc_types.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/alloc_types.verus.rs -------------------------------------------------------------------------------- /kernel/src/mm/global_memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/global_memory.rs -------------------------------------------------------------------------------- /kernel/src/mm/guestmem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/guestmem.rs -------------------------------------------------------------------------------- /kernel/src/mm/mappings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/mappings.rs -------------------------------------------------------------------------------- /kernel/src/mm/memory.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/memory.rs -------------------------------------------------------------------------------- /kernel/src/mm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/mod.rs -------------------------------------------------------------------------------- /kernel/src/mm/page_visibility.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/page_visibility.rs -------------------------------------------------------------------------------- /kernel/src/mm/pagebox.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/pagebox.rs -------------------------------------------------------------------------------- /kernel/src/mm/pagetable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/pagetable.rs -------------------------------------------------------------------------------- /kernel/src/mm/ptguards.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/ptguards.rs -------------------------------------------------------------------------------- /kernel/src/mm/ro_after_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/ro_after_init.rs -------------------------------------------------------------------------------- /kernel/src/mm/validate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/validate.rs -------------------------------------------------------------------------------- /kernel/src/mm/virtualrange.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/virtualrange.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/api.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/file_mapping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/file_mapping.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/kernel_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/kernel_stack.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/mod.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/phys_mem.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/phys_mem.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/rawalloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/rawalloc.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/reserved.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/reserved.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mapping/vmalloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mapping/vmalloc.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/mod.rs -------------------------------------------------------------------------------- /kernel/src/mm/vm/range.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/mm/vm/range.rs -------------------------------------------------------------------------------- /kernel/src/platform/capabilities.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/capabilities.rs -------------------------------------------------------------------------------- /kernel/src/platform/guest_cpu.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/guest_cpu.rs -------------------------------------------------------------------------------- /kernel/src/platform/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/mod.rs -------------------------------------------------------------------------------- /kernel/src/platform/native.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/native.rs -------------------------------------------------------------------------------- /kernel/src/platform/snp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/snp.rs -------------------------------------------------------------------------------- /kernel/src/platform/snp_fw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/snp_fw.rs -------------------------------------------------------------------------------- /kernel/src/platform/tdp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/platform/tdp.rs -------------------------------------------------------------------------------- /kernel/src/protocols/apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/apic.rs -------------------------------------------------------------------------------- /kernel/src/protocols/attest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/attest.rs -------------------------------------------------------------------------------- /kernel/src/protocols/core.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/core.rs -------------------------------------------------------------------------------- /kernel/src/protocols/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/errors.rs -------------------------------------------------------------------------------- /kernel/src/protocols/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/mod.rs -------------------------------------------------------------------------------- /kernel/src/protocols/vtpm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/protocols/vtpm.rs -------------------------------------------------------------------------------- /kernel/src/requests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/requests.rs -------------------------------------------------------------------------------- /kernel/src/serial.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/serial.rs -------------------------------------------------------------------------------- /kernel/src/sev/ghcb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/ghcb.rs -------------------------------------------------------------------------------- /kernel/src/sev/hv_doorbell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/hv_doorbell.rs -------------------------------------------------------------------------------- /kernel/src/sev/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/mod.rs -------------------------------------------------------------------------------- /kernel/src/sev/msr_protocol.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/msr_protocol.rs -------------------------------------------------------------------------------- /kernel/src/sev/secrets_page.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/secrets_page.rs -------------------------------------------------------------------------------- /kernel/src/sev/snp_apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/snp_apic.rs -------------------------------------------------------------------------------- /kernel/src/sev/status.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/status.rs -------------------------------------------------------------------------------- /kernel/src/sev/tlb.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/tlb.rs -------------------------------------------------------------------------------- /kernel/src/sev/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/utils.rs -------------------------------------------------------------------------------- /kernel/src/sev/vmsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/sev/vmsa.rs -------------------------------------------------------------------------------- /kernel/src/stage2.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/stage2.lds -------------------------------------------------------------------------------- /kernel/src/stage2.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/stage2.rs -------------------------------------------------------------------------------- /kernel/src/svsm.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/svsm.lds -------------------------------------------------------------------------------- /kernel/src/svsm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/svsm.rs -------------------------------------------------------------------------------- /kernel/src/svsm_paging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/svsm_paging.rs -------------------------------------------------------------------------------- /kernel/src/syscall/class0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/syscall/class0.rs -------------------------------------------------------------------------------- /kernel/src/syscall/class1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/syscall/class1.rs -------------------------------------------------------------------------------- /kernel/src/syscall/class3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/syscall/class3.rs -------------------------------------------------------------------------------- /kernel/src/syscall/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/syscall/mod.rs -------------------------------------------------------------------------------- /kernel/src/syscall/obj.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/syscall/obj.rs -------------------------------------------------------------------------------- /kernel/src/task/exec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/exec.rs -------------------------------------------------------------------------------- /kernel/src/task/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/mod.rs -------------------------------------------------------------------------------- /kernel/src/task/schedule.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/schedule.rs -------------------------------------------------------------------------------- /kernel/src/task/task_mm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/task_mm.rs -------------------------------------------------------------------------------- /kernel/src/task/tasks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/tasks.rs -------------------------------------------------------------------------------- /kernel/src/task/waiting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/task/waiting.rs -------------------------------------------------------------------------------- /kernel/src/tdx/apic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/tdx/apic.rs -------------------------------------------------------------------------------- /kernel/src/tdx/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/tdx/error.rs -------------------------------------------------------------------------------- /kernel/src/tdx/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/tdx/mod.rs -------------------------------------------------------------------------------- /kernel/src/tdx/tdcall.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/tdx/tdcall.rs -------------------------------------------------------------------------------- /kernel/src/tdx/ve.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/tdx/ve.rs -------------------------------------------------------------------------------- /kernel/src/testing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/testing.rs -------------------------------------------------------------------------------- /kernel/src/testutils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/testutils.rs -------------------------------------------------------------------------------- /kernel/src/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/types.rs -------------------------------------------------------------------------------- /kernel/src/types.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/types.verus.rs -------------------------------------------------------------------------------- /kernel/src/utils/bitmap_allocator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/bitmap_allocator.rs -------------------------------------------------------------------------------- /kernel/src/utils/immut_after_init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/immut_after_init.rs -------------------------------------------------------------------------------- /kernel/src/utils/memory_region.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/memory_region.rs -------------------------------------------------------------------------------- /kernel/src/utils/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/mod.rs -------------------------------------------------------------------------------- /kernel/src/utils/scoped.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/scoped.rs -------------------------------------------------------------------------------- /kernel/src/utils/tcb_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/tcb_ptr.rs -------------------------------------------------------------------------------- /kernel/src/utils/util.proof.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/util.proof.verus.rs -------------------------------------------------------------------------------- /kernel/src/utils/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/util.rs -------------------------------------------------------------------------------- /kernel/src/utils/util.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/util.verus.rs -------------------------------------------------------------------------------- /kernel/src/utils/vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/utils/vec.rs -------------------------------------------------------------------------------- /kernel/src/virtio/devices.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/virtio/devices.rs -------------------------------------------------------------------------------- /kernel/src/virtio/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/virtio/error.rs -------------------------------------------------------------------------------- /kernel/src/virtio/hal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/virtio/hal.rs -------------------------------------------------------------------------------- /kernel/src/virtio/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/virtio/mod.rs -------------------------------------------------------------------------------- /kernel/src/vmm/execloop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vmm/execloop.rs -------------------------------------------------------------------------------- /kernel/src/vmm/message.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vmm/message.rs -------------------------------------------------------------------------------- /kernel/src/vmm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vmm/mod.rs -------------------------------------------------------------------------------- /kernel/src/vmm/registers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vmm/registers.rs -------------------------------------------------------------------------------- /kernel/src/vtpm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vtpm/mod.rs -------------------------------------------------------------------------------- /kernel/src/vtpm/tcgtpm/ek_templates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vtpm/tcgtpm/ek_templates.rs -------------------------------------------------------------------------------- /kernel/src/vtpm/tcgtpm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vtpm/tcgtpm/mod.rs -------------------------------------------------------------------------------- /kernel/src/vtpm/tcgtpm/tss.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vtpm/tcgtpm/tss.rs -------------------------------------------------------------------------------- /kernel/src/vtpm/tcgtpm/wrapper.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/kernel/src/vtpm/tcgtpm/wrapper.rs -------------------------------------------------------------------------------- /libaproxy/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libaproxy/Cargo.toml -------------------------------------------------------------------------------- /libaproxy/src/attestation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libaproxy/src/attestation.rs -------------------------------------------------------------------------------- /libaproxy/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libaproxy/src/lib.rs -------------------------------------------------------------------------------- /libaproxy/src/negotiation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libaproxy/src/negotiation.rs -------------------------------------------------------------------------------- /libtcgtpm/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/Cargo.toml -------------------------------------------------------------------------------- /libtcgtpm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/Makefile -------------------------------------------------------------------------------- /libtcgtpm/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/build.rs -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/CMakeLists.txt -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmBuildSwitches.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmBuildSwitches.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_CommandList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_CommandList.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_Common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_Common.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_ErrorCodes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_ErrorCodes.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_Misc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/TpmProfile_Misc.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandAttributeData_s_ccAttr.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandAttributeData_s_ccAttr.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandAttributeData_s_commandAttributes.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandAttributeData_s_commandAttributes.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatchData_CommandStructures.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatchData_CommandStructures.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatchData_s_CommandDataArray.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatchData_s_CommandDataArray.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatcher.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/CommandDispatcher.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/HandleProcess.inl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/HandleProcess.inl -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/VendorCommandList.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/VendorCommandList.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/prototypes/Vendor_TCG_Test_fp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmConfiguration/VendorCommands/prototypes/Vendor_TCG_Test_fp.h -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmVendorCommandHandlers/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmVendorCommandHandlers/CMakeLists.txt -------------------------------------------------------------------------------- /libtcgtpm/deps/TpmConfiguration/TpmVendorCommandHandlers/Vendor_TCG_Test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/TpmConfiguration/TpmVendorCommandHandlers/Vendor_TCG_Test.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/Makefile -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/assert.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/atomic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/include/atomic.h -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/bits/alltypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/include/bits/alltypes.h -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/bits/atomic_arch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/include/bits/atomic_arch.h -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/ctype.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/dirent.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/endian.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/errno.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/fcntl.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/inttypes.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/libcrt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/include/libcrt.h -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/limits.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/memory.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/setjmp.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdarg.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdatomic.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdbool.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stddef.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdint.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdio.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/stdlib.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/string.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/strings.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/shm.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/stat.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/syscall.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/time.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/types.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/sys/utsname.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/time.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/include/unistd.h: -------------------------------------------------------------------------------- 1 | /* SPDX-License-Identifier: MIT */ 2 | 3 | #include 4 | -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/isascii.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/isascii.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/isdigit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/isdigit.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/islower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/islower.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/isspace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/isspace.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/isupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/isupper.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/tolower.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/tolower.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/ctype/toupper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/ctype/toupper.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/exit/assert.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/exit/assert.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/prng/rand.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/prng/rand.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/setjmp/x86_64/longjmp.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/setjmp/x86_64/longjmp.s -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/setjmp/x86_64/setjmp.s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/setjmp/x86_64/setjmp.s -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/asprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/asprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/fprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/fprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/printf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/printf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/printf_wrapper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/printf_wrapper.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/snprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/snprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/sprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/sprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/vasprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/vasprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/vsnprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/vsnprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdio/vsprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdio/vsprintf.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdlib/atoi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdlib/atoi.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdlib/qsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdlib/qsort.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stdlib/qsort_nr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stdlib/qsort_nr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memchr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memcmp.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memcpy.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memmove.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memrchr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/memset.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/stpcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/stpcpy.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/stpncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/stpncpy.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strcasecmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strcasecmp.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strcat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strcat.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strchr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strchrnul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strchrnul.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strcmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strcmp.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strcpy.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strcspn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strcspn.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strdup.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strdup.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strlen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strlen.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strncasecmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strncasecmp.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strncat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strncat.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strncmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strncmp.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strncpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strncpy.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strrchr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strrchr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strspn.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strspn.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/string/strstr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/string/strstr.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/stub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/stub.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/time/__secs_to_tm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/time/__secs_to_tm.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/time/gmtime_r.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/time/gmtime_r.c -------------------------------------------------------------------------------- /libtcgtpm/deps/libcrt/src/time/time.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/libcrt/src/time/time.c -------------------------------------------------------------------------------- /libtcgtpm/deps/openssl_svsm.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/deps/openssl_svsm.conf -------------------------------------------------------------------------------- /libtcgtpm/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/libtcgtpm/src/lib.rs -------------------------------------------------------------------------------- /release/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/release/Cargo.toml -------------------------------------------------------------------------------- /release/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/release/build.rs -------------------------------------------------------------------------------- /release/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/release/src/lib.rs -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /scripts/check-signed-off.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/check-signed-off.sh -------------------------------------------------------------------------------- /scripts/gen_igvm_signing_keys.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/gen_igvm_signing_keys.sh -------------------------------------------------------------------------------- /scripts/install-hooks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/install-hooks.sh -------------------------------------------------------------------------------- /scripts/launch_guest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/launch_guest.sh -------------------------------------------------------------------------------- /scripts/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/pre-commit -------------------------------------------------------------------------------- /scripts/show-stack-sizes.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/show-stack-sizes.sh -------------------------------------------------------------------------------- /scripts/test-in-svsm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/test-in-svsm.sh -------------------------------------------------------------------------------- /scripts/test-qemu-nocc-svsm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/test-qemu-nocc-svsm.sh -------------------------------------------------------------------------------- /scripts/test_sign_qemu_igvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/test_sign_qemu_igvm.sh -------------------------------------------------------------------------------- /scripts/vfmt.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/vfmt.sh -------------------------------------------------------------------------------- /scripts/vinstall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/scripts/vinstall.sh -------------------------------------------------------------------------------- /stage1/.cargo/config.toml: -------------------------------------------------------------------------------- 1 | [build] 2 | target = "x86_64-unknown-none" 3 | -------------------------------------------------------------------------------- /stage1/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/stage1/Cargo.toml -------------------------------------------------------------------------------- /stage1/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/stage1/build.rs -------------------------------------------------------------------------------- /stage1/src/reset.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/stage1/src/reset.S -------------------------------------------------------------------------------- /stage1/src/stage1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/stage1/src/stage1.rs -------------------------------------------------------------------------------- /stage1/stage1.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/stage1/stage1.lds -------------------------------------------------------------------------------- /syscall/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/Cargo.toml -------------------------------------------------------------------------------- /syscall/src/call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/call.rs -------------------------------------------------------------------------------- /syscall/src/class0.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/class0.rs -------------------------------------------------------------------------------- /syscall/src/class1.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/class1.rs -------------------------------------------------------------------------------- /syscall/src/class3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/class3.rs -------------------------------------------------------------------------------- /syscall/src/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/console.rs -------------------------------------------------------------------------------- /syscall/src/def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/def.rs -------------------------------------------------------------------------------- /syscall/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/lib.rs -------------------------------------------------------------------------------- /syscall/src/obj.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/syscall/src/obj.rs -------------------------------------------------------------------------------- /test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/test/Cargo.toml -------------------------------------------------------------------------------- /test/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/test/src/lib.rs -------------------------------------------------------------------------------- /tools/aproxy/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/aproxy/Cargo.toml -------------------------------------------------------------------------------- /tools/aproxy/src/attest.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/aproxy/src/attest.rs -------------------------------------------------------------------------------- /tools/aproxy/src/backend/kbs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/aproxy/src/backend/kbs.rs -------------------------------------------------------------------------------- /tools/aproxy/src/backend/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/aproxy/src/backend/mod.rs -------------------------------------------------------------------------------- /tools/aproxy/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/aproxy/src/main.rs -------------------------------------------------------------------------------- /tools/cbit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/cbit/Cargo.toml -------------------------------------------------------------------------------- /tools/cbit/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/cbit/src/main.rs -------------------------------------------------------------------------------- /tools/gen_meta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/gen_meta.c -------------------------------------------------------------------------------- /tools/igvmbuilder/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/Cargo.toml -------------------------------------------------------------------------------- /tools/igvmbuilder/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/README.md -------------------------------------------------------------------------------- /tools/igvmbuilder/src/cmd_options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/cmd_options.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/cpuid.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/cpuid.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/firmware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/firmware.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/gpa_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/gpa_map.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/igvm_builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/igvm_builder.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/igvm_firmware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/igvm_firmware.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/main.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/ovmf_firmware.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/ovmf_firmware.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/paging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/paging.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/platform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/platform.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/sipi.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/sipi.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/stage2_stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/stage2_stack.rs -------------------------------------------------------------------------------- /tools/igvmbuilder/src/vmsa.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmbuilder/src/vmsa.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/Cargo.toml -------------------------------------------------------------------------------- /tools/igvmmeasure/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/README.md -------------------------------------------------------------------------------- /tools/igvmmeasure/src/cmd_options.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/cmd_options.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/src/id_block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/id_block.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/src/igvm_measure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/igvm_measure.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/main.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/src/page_info.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/page_info.rs -------------------------------------------------------------------------------- /tools/igvmmeasure/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/igvmmeasure/src/utils.rs -------------------------------------------------------------------------------- /tools/print-meta.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/tools/print-meta.c -------------------------------------------------------------------------------- /user/init/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/init/Cargo.toml -------------------------------------------------------------------------------- /user/init/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/init/build.rs -------------------------------------------------------------------------------- /user/init/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/init/src/main.rs -------------------------------------------------------------------------------- /user/lib/.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | -------------------------------------------------------------------------------- /user/lib/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/lib/Cargo.toml -------------------------------------------------------------------------------- /user/lib/module.lds: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/lib/module.lds -------------------------------------------------------------------------------- /user/lib/src/console.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/lib/src/console.rs -------------------------------------------------------------------------------- /user/lib/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/lib/src/lib.rs -------------------------------------------------------------------------------- /user/lib/src/locking.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/user/lib/src/locking.rs -------------------------------------------------------------------------------- /verify_external/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/Cargo.toml -------------------------------------------------------------------------------- /verify_external/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/build.rs -------------------------------------------------------------------------------- /verify_external/src/convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/convert.rs -------------------------------------------------------------------------------- /verify_external/src/convert.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/convert.verus.rs -------------------------------------------------------------------------------- /verify_external/src/hw_spec/mm.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/hw_spec/mm.verus.rs -------------------------------------------------------------------------------- /verify_external/src/hw_spec/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/hw_spec/mod.rs -------------------------------------------------------------------------------- /verify_external/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/lib.rs -------------------------------------------------------------------------------- /verify_external/src/ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/ptr.rs -------------------------------------------------------------------------------- /verify_external/src/ptr.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_external/src/ptr.verus.rs -------------------------------------------------------------------------------- /verify_proof/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/Cargo.toml -------------------------------------------------------------------------------- /verify_proof/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/build.rs -------------------------------------------------------------------------------- /verify_proof/src/bits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/bits.rs -------------------------------------------------------------------------------- /verify_proof/src/bits.verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/bits.verus.rs -------------------------------------------------------------------------------- /verify_proof/src/frac_perm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/frac_perm.rs -------------------------------------------------------------------------------- /verify_proof/src/frac_ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/frac_ptr.rs -------------------------------------------------------------------------------- /verify_proof/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/lib.rs -------------------------------------------------------------------------------- /verify_proof/src/nonlinear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/nonlinear.rs -------------------------------------------------------------------------------- /verify_proof/src/set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/set.rs -------------------------------------------------------------------------------- /verify_proof/src/sum.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verify_proof/src/sum.rs -------------------------------------------------------------------------------- /verus_macro_stub/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verus_macro_stub/Cargo.toml -------------------------------------------------------------------------------- /verus_macro_stub/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verus_macro_stub/src/lib.rs -------------------------------------------------------------------------------- /verus_stub/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verus_stub/Cargo.toml -------------------------------------------------------------------------------- /verus_stub/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/verus_stub/src/lib.rs -------------------------------------------------------------------------------- /virtio-drivers/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/Cargo.toml -------------------------------------------------------------------------------- /virtio-drivers/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/LICENSE -------------------------------------------------------------------------------- /virtio-drivers/src/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/Cargo.toml -------------------------------------------------------------------------------- /virtio-drivers/src/device/blk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/device/blk.rs -------------------------------------------------------------------------------- /virtio-drivers/src/device/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/device/common.rs -------------------------------------------------------------------------------- /virtio-drivers/src/device/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/device/mod.rs -------------------------------------------------------------------------------- /virtio-drivers/src/hal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/hal.rs -------------------------------------------------------------------------------- /virtio-drivers/src/hal/fake.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/hal/fake.rs -------------------------------------------------------------------------------- /virtio-drivers/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/lib.rs -------------------------------------------------------------------------------- /virtio-drivers/src/queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/queue.rs -------------------------------------------------------------------------------- /virtio-drivers/src/queue/owning.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/queue/owning.rs -------------------------------------------------------------------------------- /virtio-drivers/src/transport/fake.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/transport/fake.rs -------------------------------------------------------------------------------- /virtio-drivers/src/transport/mmio.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/transport/mmio.rs -------------------------------------------------------------------------------- /virtio-drivers/src/transport/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/transport/mod.rs -------------------------------------------------------------------------------- /virtio-drivers/src/volatile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/virtio-drivers/src/volatile.rs -------------------------------------------------------------------------------- /xbuild/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/Cargo.toml -------------------------------------------------------------------------------- /xbuild/src/features.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/features.rs -------------------------------------------------------------------------------- /xbuild/src/fs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/fs.rs -------------------------------------------------------------------------------- /xbuild/src/fw.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/fw.rs -------------------------------------------------------------------------------- /xbuild/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/helpers.rs -------------------------------------------------------------------------------- /xbuild/src/igvm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/igvm.rs -------------------------------------------------------------------------------- /xbuild/src/kernel.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/kernel.rs -------------------------------------------------------------------------------- /xbuild/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/main.rs -------------------------------------------------------------------------------- /xbuild/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/coconut-svsm/svsm/HEAD/xbuild/src/version.rs --------------------------------------------------------------------------------