Alternatives and similar repositories for fedora-riscv-stage4

Users that are interested in fedora-riscv-stage4 are comparing it to the libraries listed below

• rwmjones / fedora-riscv-kernel
  Linux kernel build scripts and patches for Fedora/RISC-V
  ☆16Updated 6 years ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• rwmjones / fedora-riscv-bootstrap
  Bootstrapping Fedora on RISC-V
  ☆28Updated 7 years ago
• riscv-non-isa / riscv-device-tree-doc
  RISC-V Specific Device Tree Documentation
  ☆42Updated last year
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated last month
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆49Updated last week
• riscvarchive / riscv-code-speed-optimization
  ☆12Updated 4 years ago
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆59Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 4 months ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 4 months ago
• seL4 / camkes-vm-examples
  ☆17Updated last week
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆41Updated 2 years ago
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• CTSRD-CHERI / sail-cheri-riscv
  CHERI-RISC-V model written in Sail
  ☆60Updated last week
• riscvarchive / riscv-glibc
  RISC-V port of GNU's libc
  ☆71Updated 4 years ago
• riscv / riscv-spmp
  The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…
  ☆18Updated 2 weeks ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated last year
• riscvarchive / riscv-tee
  ☆38Updated 2 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated last week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆22Updated last year
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 10 months ago
• ARM-software / TZ-TRNG
  TrustZone True Number Generator
  ☆38Updated 3 years ago
• vladandrew / awesome-unikernels
  ☆11Updated 4 years ago
• keystone-enclave / keystone-runtime
  Eyrie enclave runtime kernel
  ☆36Updated last year
• riscv-non-isa / riscv-uefi
  ☆29Updated 3 years ago
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆53Updated last week
• hex-five / multizone-sdk
  MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…
  ☆85Updated last year