Skip to content

@dornerworks DornerWorks

Change the repository type filter

All

    Repositories list

    81 repositories

    • inspecta-yocto-manifest

      Public
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 19, 2024Dec 19, 2024

    • inspecta-dev-container

      Public
      Dockerfile
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • ardupilot-container

      Public
      Ardupilot container targeted for AARCH64 platforms. Tested on the Zynq UltraScale+ MPSoC.
      Shell
      •
      BSD 2-Clause "Simplified" License
      •0•1•0•0•Updated Dec 18, 2024Dec 18, 2024

    • u-boot-xlnx

      Public
      Fork of Xilinx U-boot for support purposes
      C
      •791•0•0•0•Updated Dec 17, 2024Dec 17, 2024

    • meta-inspecta-sut

      Public
      Yocto layer to create Linuxs configurations for INSPECTA SUT
      Shell
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • microkit

      Public
      Microkit - A simple operating system framework for the seL4 microkernel
      Rust
      •
      Other
      •52•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • inspecta-open-platform

      Public
      The open platform implementation for INSPECTA.
      C
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Nov 4, 2024Nov 4, 2024

    • zcu102_server_microkit

      Public
      This is a rust based ping server that runs on top of the seL4 microkit on the ZCU102 development board.
      Rust
      •0•1•0•0•Updated Sep 27, 2024Sep 27, 2024

    • zynqmp_hal

      Public
      A rust hardware abstraction layer for the Zynq Ultrascale+ MPSoC (zynqmp).
      Rust
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 26, 2024Sep 26, 2024

    • fpga_template

      Public
      An FPGA design template with associated scripts for the Xilinx Vivado toolchain.
      Tcl
      •
      MIT License
      •2•8•0•0•Updated Jun 28, 2024Jun 28, 2024

    • yocto-builder

      Public
      Docker container for building Yocto images
      Dockerfile
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated May 23, 2024May 23, 2024

    • camkes-vm

      Public
      Virtual Machine build as a CAmkES component.
      C
      •
      Other
      •35•1•0•0•Updated Apr 30, 2024Apr 30, 2024

    • seL4_projects_libs

      Public
      C
      •
      Other
      •38•0•0•0•Updated Apr 30, 2024Apr 30, 2024

    • uav-demo-images

      Public
      VM images for seL4-based UAV demo
      CMake
      •0•1•0•0•Updated Apr 29, 2024Apr 29, 2024

    • projects_libs

      Public
      C++
      •
      Other
      •20•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • uav-demo-apps

      Public
      CAmkES VMM based application on seL4 for UAV isolation.
      0•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • seL4_tools

      Public
      C
      •
      Other
      •93•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • util_libs

      Public
      C
      •
      Other
      •86•1•0•0•Updated Apr 26, 2024Apr 26, 2024

    • seL4_libs

      Public
      C
      •
      Other
      •67•1•0•0•Updated Apr 26, 2024Apr 26, 2024

    • global-components

      Public
      C
      •30•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • capdl

      Public
      Haskell
      •45•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • camkes-vm-linux

      Public
      CMake
      •
      Other
      •13•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • camkes-tool

      Public
      The main CAmkES tool
      Python
      •
      Other
      •71•0•0•0•Updated Apr 26, 2024Apr 26, 2024

    • seL4

      Public
      The seL4 microkernel
      C
      •
      Other
      •679•3•0•0•Updated Apr 26, 2024Apr 26, 2024

    • sel4test

      Public
      Test suite for seL4.
      C
      •
      Other
      •63•0•0•0•Updated Aug 30, 2023Aug 30, 2023

    • opensbi

      Public
      RISC-V Open Source Supervisor Binary Interface
      C
      •
      Other
      •523•0•0•0•Updated Aug 25, 2023Aug 25, 2023

    • Cirrious.FluentLayout.Extensions

      Public
      Extensions for Cirrious.FluentLayout
      C#
      •
      Other
      •1•0•0•2•Updated Jul 11, 2023Jul 11, 2023

    • seL4-CAmkES-L4v-dockerfiles

      Public
      Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
      Shell
      •41•0•0•0•Updated May 17, 2023May 17, 2023

    • Vivado-Prebuilts

      Public
      This repo contains the items necessary to boot the RocketChip on the ZCU102 FPGA fabric.
      Tcl
      •0•1•1•0•Updated Feb 16, 2023Feb 16, 2023

    • bao-demos

      Public
      A guide on how to build and use a set of Bao guest configurations for various platforms
      Makefile
      •
      Other
      •39•0•0•0•Updated Feb 13, 2023Feb 13, 2023