Pinned Loading

1. kvm_optee_mediator kvm_optee_mediator Public

   KVM OP-TEE Mediator is an addition to the Linux Kernel exposing OP-TEE to KVM guests.

   Makefile 2

2. green_tee green_tee Public

   Green TEE is a Trusted Execution Environment for ARM TrustZone enabled machines.

   C 5 1

3. deltaV deltaV Public

   deltaV is a bare-metal hypervisor. (Raspberry Pi-3B) [ARMv8-A]

   C 8

4. intrace intrace Public

   intrace is an IRQ tracing utility built for the Linux Kernel

   C 6 1

5. ysRTOS ysRTOS Public

   ysRTOS is a Real Time Operating System (STM32F411RET6) [ARM Cortex-M4]

   C 1

6. gammaOS gammaOS Public

   gammaOS is an operating system built for x86 (32-bit) computers.

   C 3