second-state / wasmedge-seL4

Related projects: ⓘ

• rustsbi / awesome-rustsbi
  A curated list of awesome things related to rustsbi
  ☆37Updated last year
• rust-vmm / vhost
  ☆126Updated last week
• dgreid / crosvm
  ☆53Updated last year
• rust-vmm / vhost-device
  'vhost-user' device backends workspace
  ☆68Updated this week
• rust-vmm / vmm-sys-util
  Helpers and utilities used by multiple rust-vmm components and VMMs
  ☆78Updated 2 weeks ago
• rust-vmm / vm-device
  ☆36Updated 10 months ago
• faasm / faabric
  Messaging and state layer for distributed serverless applications
  ☆61Updated 2 weeks ago
• wasm3 / wasm-coremark
  CoreMark 1.0 ported to WebAssembly
  ☆37Updated 3 years ago
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆25Updated 5 months ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆106Updated 6 months ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆93Updated last year
• rustsbi / slides
  All public report slides and articles related to RustSBI
  ☆27Updated 4 months ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆20Updated 2 years ago
• rcore-os / ext2-rs
  An implementation of ext2 filesystem in Rust
  ☆15Updated 2 years ago
• riscv-non-isa / riscv-uefi
  ☆23Updated 2 years ago
• new-tee-os / new-tee-os
  A brand new OS that runs in various kinds of TEEs and supports Linux ABI
  ☆14Updated 3 years ago
• madsys-dev / async-ucx
  Asynchronous Rust bindings for UCX
  ☆59Updated 2 years ago
• rustsbi / rustsbi-hifive-unmatched
  RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
  ☆17Updated last year
• shyper-org / rtshyper
  An embedded hypervisor for mixed-critical system based on Rust
  ☆20Updated 3 months ago
• rustsbi / sbi-rt
  Simple RISC-V SBI runtime library; designated for supervisor use
  ☆19Updated 8 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆23Updated last month
• Multi-V-VM / MVVM
  Seemlessly Migrate Process without boundary.
  ☆12Updated 3 months ago
• rustsbi / xuantie
  Low level access to T-Head Xuantie RISC-V processors
  ☆32Updated last year
• rust-vmm / rust-vmm-container
  Container with all dependencies required for running rust-vmm crates integration tests.
  ☆65Updated last week
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆29Updated this week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆51Updated last week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆111Updated last month
• gwsystems / sledge-serverless-framework
  SLEdge: a serverless runtime designed for the Edge.
  ☆105Updated 2 months ago
• rust-vmm / linux-loader
  Linux kernel loader
  ☆182Updated last week
• essa-project / essa-rs
  ☆16Updated 6 months ago