Skip to content

@Hensoldt-Cyber Hensoldt Cyber

Change the repository type filter

All

    Repositories list

    29 repositories

    • seL4_tools

      Public
      Basic tools for building seL4 projects
      C
      •
      Other
      •99•0•0•1•Updated Jul 2, 2024Jul 2, 2024

    • camkes-tool

      Public
      The main CAmkES tool
      Python
      •71•0•0•0•Updated Jul 2, 2024Jul 2, 2024

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •726•0•0•3•Updated Jul 1, 2024Jul 1, 2024

    • util_libs

      Public
      C
      •
      Other
      •94•0•0•0•Updated May 21, 2024May 21, 2024

    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      •
      Other
      •623•0•0•0•Updated May 14, 2024May 14, 2024

    • seL4_libs

      Public
      No-assurance libraries for rapid-prototyping of seL4 apps.
      C
      •
      Other
      •72•0•0•0•Updated May 13, 2024May 13, 2024

    • sel4bench

      Public
      sel4 benchmarking applications and support library.
      C
      •
      Other
      •37•0•0•0•Updated Apr 4, 2024Apr 4, 2024

    • capdl

      Public
      Capability Distribution Language tools for seL4
      Haskell
      •48•0•0•0•Updated Mar 22, 2024Mar 22, 2024

    • camkes-vm-examples

      Public
      C
      •
      Other
      •31•0•0•0•Updated Mar 16, 2024Mar 16, 2024

    • seL4-CAmkES-L4v-dockerfiles

      Public
      Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
      Shell
      •40•0•0•0•Updated Feb 15, 2024Feb 15, 2024

    • camkes-vm-linux

      Public
      CMake
      •
      Other
      •15•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • camkes-vm-images

      Public
      Precompiled kernels etc. for use with camkes VMs.
      CMake
      •20•0•0•0•Updated Jan 31, 2024Jan 31, 2024

    • camkes-vm

      Public
      Virtual Machine built as a CAmkES component.
      C
      •
      Other
      •41•0•0•9•Updated Jan 31, 2024Jan 31, 2024

    • seL4_projects_libs

      Public
      C
      •
      Other
      •43•0•0•2•Updated Jan 30, 2024Jan 30, 2024

    • ci-actions

      Public
      CI GitHub actions for the seL4 repositories
      Python
      •13•0•0•0•Updated Jan 30, 2024Jan 30, 2024

    • musllibc

      Public
      C
      •
      Other
      •47•0•0•0•Updated Sep 15, 2023Sep 15, 2023

    • projects_libs

      Public
      C++
      •
      Other
      •22•0•0•0•Updated Aug 13, 2023Aug 13, 2023

    • global-components

      Public
      C
      •
      Other
      •33•0•0•0•Updated May 25, 2023May 25, 2023

    • sel4-website

      Public
      The seL4.systems website
      Promela
      •14•0•0•0•Updated Apr 6, 2023Apr 6, 2023

    • sel4test

      Public
      Test suite for seL4.
      C
      •
      Other
      •68•0•0•0•Updated Mar 10, 2023Mar 10, 2023

    • sel4-docs

      Public
      This is the source of the seL4 docs.
      C
      •56•0•0•0•Updated Nov 8, 2022Nov 8, 2022

    • camkes-vm-examples-manifest

      Public
      18•0•0•0•Updated Aug 27, 2022Aug 27, 2022

    • vscode-CAmkES-highlighting

      Public
      Visual Studio Code Extension | Syntax highlighting for CAmkES (component architecture for microkernel-based embedded systems)
      MIT License
      •0•1•0•0•Updated Dec 15, 2021Dec 15, 2021

    • sel4runtime

      Public
      A minimal runtime for seL4 applications.
      C
      •
      Other
      •30•0•0•0•Updated Dec 1, 2021Dec 1, 2021

    • camkes

      Public
      Component Architecture test suite and example apps.
      C
      •
      Other
      •39•0•0•0•Updated Sep 9, 2021Sep 9, 2021

    • riscv-pk

      Public
      RISC-V Proxy Kernel
      C
      •
      Other
      •332•0•0•0•Updated Jun 10, 2021Jun 10, 2021

    • spiffs

      Public archive
      Wear-leveled SPI flash file system for embedded devices
      C
      •
      MIT License
      •410•0•0•0•Updated May 17, 2021May 17, 2021

    • u-boot-imx6

      Public
      U-Boot branch to support the i.MX platforms
      GNU General Public License v2.0
      •125•0•0•0•Updated Nov 24, 2020Nov 24, 2020

    • Intellinet_163682_IP_smart_PDU_API

      Public
      A python API wrapper for Intellinet IP smart PDU [163682]
      HTML
      •
      MIT License
      •12•0•0•0•Updated Mar 8, 2019Mar 8, 2019