Skip to content
Change the repository type filter

All

    Repositories list

    • keystone

      Public
      Keystone Enclave (QEMU + HiFive Unleashed)
      C
      Other
      1344679214Updated Aug 29, 2024Aug 29, 2024
    • keyedge

      Public archive
      Edge Call Generator for Keystone Enclave
      C++
      BSD 3-Clause "New" or "Revised" License
      1460Updated Jan 15, 2024Jan 15, 2024
    • elfloader

      Public
      0000Updated Nov 8, 2023Nov 8, 2023
    • The Confidential Computing Certifier Framework consists of a client API called the certifier-API and server based policy evaluation called the certifier Service. It simplifies and unifies programming and operations support for multi-vendor Confidential Computing platforms by providing support for scalable, policy driventrust management including a
      C++
      Apache License 2.0
      16101Updated Aug 31, 2023Aug 31, 2023
    • keystone-runtime

      Public archive
      Eyrie enclave runtime kernel
      C
      Other
      193684Updated Aug 2, 2023Aug 2, 2023
    • Static dependencies (protobuf, openssl) for Keystone support in VMWare Certifier
      BSD 3-Clause "New" or "Revised" License
      0100Updated Jun 25, 2023Jun 25, 2023
    • Demo host and enclave applications exercising most functionality.
      C++
      1930100Updated Jun 12, 2023Jun 12, 2023
    • website
      SCSS
      0000Updated May 3, 2023May 3, 2023
    • sm

      Public archive
      Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
      C
      Other
      151342Updated Oct 28, 2022Oct 28, 2022
    • keystone-sdk

      Public archive
      SDK for Keystone Enclave - ABI/SBI libraries and sample apps
      C
      Other
      2244125Updated Oct 10, 2022Oct 10, 2022
    • linux-keystone-driver

      Public archive
      Loadable Module for Keystone Enclave
      C
      Other
      171851Updated Sep 24, 2022Sep 24, 2022
    • darkhttpd

      Public
      When you need a web server in a hurry.
      C
      ISC License
      87101Updated Nov 29, 2021Nov 29, 2021
    • redis

      Public
      Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
      C
      BSD 3-Clause "New" or "Revised" License
      24k000Updated Oct 8, 2021Oct 8, 2021
    • Freedom U540-C000 Bootloader Code
      C
      Other
      39501Updated Aug 27, 2021Aug 27, 2021
    • riscv-pk

      Public
      Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
      C
      Other
      143672Updated May 12, 2021May 12, 2021
    • FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
      C
      MIT License
      1.1k100Updated May 12, 2021May 12, 2021
    • Firemarshal Keystone Workload
      Shell
      BSD 3-Clause "New" or "Revised" License
      2220Updated Feb 27, 2021Feb 27, 2021
    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      Other
      511400Updated Jan 8, 2021Jan 8, 2021
    • FreeRTOS

      Public
      'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
      C
      MIT License
      1.6k000Updated Nov 18, 2020Nov 18, 2020
    • riscv

      Public
      Low level access to RISC-V processors
      Rust
      163000Updated Jun 1, 2020Jun 1, 2020
    • Shell
      2200Updated May 18, 2020May 18, 2020
    • port of iozone to keystone enclaves
      C
      1110Updated Apr 20, 2020Apr 20, 2020
    • coremark

      Public
      CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
      C
      Other
      326000Updated Apr 20, 2020Apr 20, 2020
    • beebs

      Public
      A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
      Makefile
      GNU General Public License v3.0
      41100Updated Apr 20, 2020Apr 20, 2020
    • rv8-bench

      Public
      rv8 benchmark suite
      C
      12000Updated Apr 20, 2020Apr 20, 2020
    • seL4 runtime for Keystone and tests (deprecated in v0.5)
      Shell
      0410Updated Feb 6, 2020Feb 6, 2020
    • Automatically Builds a Linux Distribution for FireSim/FireChip Nodes, works with FireSim's automatic workload generation.
      Shell
      51001Updated Nov 26, 2019Nov 26, 2019
    • utest

      Public
      Unit `#[test]`ing for microcontrollers and other `no_std` systems
      Rust
      7100Updated Nov 7, 2019Nov 7, 2019
    • riscv-qemu

      Public archive
      QEMU with RISC-V (RV64G, RV32G) Emulation Support
      C
      Other
      154200Updated Jun 4, 2019Jun 4, 2019
    • buildroot

      Public
      Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at http://git.buildroot.net/buildroot/. Do not open issues or file pull requests here.
      Makefile
      Other
      2.4k000Updated Apr 29, 2019Apr 29, 2019