Popular repositories Loading

1. optee_os optee_os Public

   Forked from OP-TEE/optee_os

   Trusted side of the TEE

   C

2. docker_optee_os_ci docker_optee_os_ci Public

   Forked from jforissier/docker_optee_os_ci

   Dockerfile to run OP-TEE OS Continuous Integration

   Shell

3. manifest manifest Public

   Forked from OP-TEE/manifest

   Manifests to use OP-TEE on various platforms

   Shell

4. buildroot buildroot Public

   Forked from buildroot/buildroot

   Buildroot, making embedded Linux easy. Note that this is not the official repository, but only a mirror. The official Git repository is at https://gitlab.com/buildroot.org/buildroot/. Do not open i…

   Makefile

5. riscv-rpmi riscv-rpmi Public

   Forked from riscv-non-isa/riscv-rpmi

   RISC-V Platform Management Interface Specification. OS-agnostic messaging interface for system management and control

   Makefile

6. opensbi opensbi Public

   Forked from riscv-software-src/opensbi

   RISC-V Open Source Supervisor Binary Interface

   C