Skip to content

@TRENT-OS TRENTOS

Change the repository type filter

All

    Repositories list

    159 repositories

    • trentos

      Public
      Welcome to TRENTOS an embedded OS built upon seL4 and CAmkES
      osembedded-systemssel4
      Shell
      •
      GNU General Public License v2.0
      •0•1•0•0•Updated Oct 30, 2024Oct 30, 2024

    • trent-os.github.io

      Public
      redirect trentos pages
      HTML
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Oct 30, 2024Oct 30, 2024

    • docs

      Public
      This is a submodule of TRENTOS
      Python
      •
      Creative Commons Attribution Share Alike 4.0 International
      •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • .github

      Public
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 17, 2024Sep 17, 2024

    • tests

      Public
      This is a submodule of TRENTOS
      Python
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • common

      Public
      This is a submodule of TRENTOS
      Python
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • sdk

      Public
      This is a submodule of trentos
      Shell
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • test_network_api

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • CI_Runner_Management_API

      Public
      API providing synchronization and other privileged services for CI Runners
      Rust
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • docker_images

      Public
      This is a submodule of TRENTOS
      Shell
      •0•0•1•0•Updated Sep 5, 2024Sep 5, 2024

    • CI_Hardware_Abstraction_API

      Public
      Generalized Hardware Access API for CI deployment - integrated with TRENTOS Test Framework
      Python
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • demo_tls_api

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • test_tls_api

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • test_tlsserver

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • demo_iot_app_hw

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • rpi_spi_flash

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • config_provisioning_tool

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • proxy

      Public
      This is a submodule of TRENTOS
      C++
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • nic_rpi3bplus

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Aug 26, 2024Aug 26, 2024

    • os_filesystem

      Public
      This is a submodule of TRENTOS
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 28, 2024Mar 28, 2024

    • gazebo-proxy

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C++
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 27, 2024Mar 27, 2024

    • spiffs

      Public
      Wear-leveled SPI flash file system for embedded devices
      C
      •
      MIT License
      •410•0•0•0•Updated Mar 27, 2024Mar 27, 2024

    • demo_i2c_rpi3_bmp280

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • ssd1306

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • bmp280

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • test_uart_echo

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • test_static_sd_partitioning

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • demo-mavlink-testapp

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • demo_vm_multi

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      CMake
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024

    • demo_vm_drone_sim

      Public
      This submodule is NOT part of the standard TRENTOS source tree
      C++
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Mar 26, 2024Mar 26, 2024