Skip to content
Change the repository type filter

All

    Repositories list

    • Base Yocto layers for Xen Troops distro
      BitBake
      Apache License 2.0
      13031Updated Jan 30, 2025Jan 30, 2025
    • C++
      4300Updated Jan 30, 2025Jan 30, 2025
    • Main Xen Troops product, which is used for day-to-day development and integration
      BitBake
      Apache License 2.0
      15572Updated Jan 27, 2025Jan 27, 2025
    • Renesas R-Car Gen4 development product
      BitBake
      Apache License 2.0
      15321Updated Jan 27, 2025Jan 27, 2025
    • Python
      GNU General Public License v2.0
      4000Updated Jan 24, 2025Jan 24, 2025
    • Other
      7200Updated Jan 13, 2025Jan 13, 2025
    • A manifest for standalone linux kernel build.
      4101Updated Jan 10, 2025Jan 10, 2025
    • Android kernel configuration to run in xen hypervisor domain
      Starlark
      1101Updated Jan 10, 2025Jan 10, 2025
    • moulin

      Public
      Moulin is meta build system that is capable of building multiple images at once
      Python
      Apache License 2.0
      16290Updated Jan 7, 2025Jan 7, 2025
    • BitBake
      Apache License 2.0
      8330Updated Jan 7, 2025Jan 7, 2025
    • xen

      Public
      Mirror of the Xen Repository
      C
      Other
      336643Updated Jan 3, 2025Jan 3, 2025
    • linux

      Public
      Linux kernel source tree
      C
      Other
      55k181Updated Dec 12, 2024Dec 12, 2024
    • zephyr

      Public
      Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
      C
      Apache License 2.0
      6.9k022Updated Dec 11, 2024Dec 11, 2024
    • arm-trusted-firmware
      C
      Other
      39000Updated Dec 11, 2024Dec 11, 2024
    • Fully automated and fully customizable IPL uploader for Renesas Gen3/Gen4
      Python
      MIT License
      2010Updated Dec 11, 2024Dec 11, 2024
    • LibAFL-based fuzzer for Xen hypervisor
      Rust
      MIT License
      0000Updated Nov 25, 2024Nov 25, 2024
    • BitBake
      Apache License 2.0
      9002Updated Nov 25, 2024Nov 25, 2024
    • Zephyr-based Dom0 which is used as a test harness for LibAFL-based fuzzing
      C
      0000Updated Nov 13, 2024Nov 13, 2024
    • Renesas RCAR Gen3-specific Yocto layers for Xen Troops distro
      BitBake
      Apache License 2.0
      12011Updated Nov 12, 2024Nov 12, 2024
    • BitBake
      MIT License
      6000Updated Oct 16, 2024Oct 16, 2024
    • BitBake
      Apache License 2.0
      7310Updated Sep 6, 2024Sep 6, 2024
    • Sample Zephyr application that serves as Dom0
      Apache License 2.0
      7002Updated Aug 27, 2024Aug 27, 2024
    • OP-TEE client library and supplicant implementation for Zephyr RTOS
      C
      Apache License 2.0
      6000Updated Aug 16, 2024Aug 16, 2024
    • Manifests to use OP-TEE on various platforms
      Shell
      179000Updated Aug 16, 2024Aug 16, 2024
    • Set of Zephyr libs and applications that provides basic Dom0 services
      C
      Apache License 2.0
      10120Updated Aug 16, 2024Aug 16, 2024
    • OCI-compatible library with Xen support for Zephyr RTOS
      C
      Apache License 2.0
      1100Updated Aug 13, 2024Aug 13, 2024
    • Makefiles to use OP-TEE on various platforms
      Makefile
      221000Updated Aug 8, 2024Aug 8, 2024
    • Dockerfile to run OP-TEE OS / Zephyr Continuous Integration
      Shell
      2000Updated Aug 8, 2024Aug 8, 2024
    • OPTEE tests implementation for Zephyr RTOS
      C
      Other
      4001Updated Aug 7, 2024Aug 7, 2024
    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      3.8k000Updated Jul 28, 2024Jul 28, 2024