Skip to content
@dornerworks

DornerWorks

Provider of electronic engineering services for the aerospace, medical, automotive, and industrial markets.

Popular repositories Loading

  1. xen-rpi4-builder xen-rpi4-builder Public

    Shell 56 13

  2. embeddedCmakeExamples embeddedCmakeExamples Public

    Embedded CMake Examples

    C 27 4

  3. fpga_template fpga_template Public

    An FPGA design template with associated scripts for the Xilinx Vivado toolchain.

    Tcl 8 2

  4. sel4-armv8-vmm-manifest sel4-armv8-vmm-manifest Public

    A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8

    7 2

  5. robotframework-tutorial robotframework-tutorial Public

    Code that corresponds to a walk-through tutorial of robot-framework.

    RobotFramework 4

  6. seL4 seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C 3 1

Repositories

Showing 10 of 80 repositories
  • inspecta-open-platform Public

    The open platform implementation for INSPECTA.

    dornerworks/inspecta-open-platform’s past year of commit activity
    C 0 BSD-2-Clause 0 0 0 Updated Nov 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.

    dornerworks/zcu102_server_microkit’s past year of commit activity
    Rust 1 0 0 0 Updated Sep 27, 2024
  • zynqmp_hal Public

    A rust hardware abstraction layer for the Zynq Ultrascale+ MPSoC (zynqmp).

    dornerworks/zynqmp_hal’s past year of commit activity
    Rust 0 BSD-2-Clause 0 0 0 Updated Sep 26, 2024
  • microkit Public Forked from seL4/microkit

    Microkit - A simple operating system framework for the seL4 microkernel

    dornerworks/microkit’s past year of commit activity
    Rust 0 47 0 0 Updated Sep 5, 2024
  • meta-inspecta-sut Public

    Yocto layer to create Linuxs configurations for INSPECTA SUT

    dornerworks/meta-inspecta-sut’s past year of commit activity
    Shell 0 BSD-2-Clause 0 0 0 Updated Sep 4, 2024
  • fpga_template Public

    An FPGA design template with associated scripts for the Xilinx Vivado toolchain.

    dornerworks/fpga_template’s past year of commit activity
    Tcl 8 MIT 2 0 0 Updated Jun 28, 2024
  • yocto-builder Public

    Docker container for building Yocto images

    dornerworks/yocto-builder’s past year of commit activity
    Dockerfile 0 BSD-2-Clause 0 0 0 Updated May 23, 2024
  • inspecta-yocto-manifest Public
    dornerworks/inspecta-yocto-manifest’s past year of commit activity
    0 BSD-2-Clause 0 0 0 Updated May 23, 2024
  • ardupilot-container Public

    Ardupilot container targeted for AARCH64 platforms. Tested on the Zynq UltraScale+ MPSoC.

    dornerworks/ardupilot-container’s past year of commit activity
    Shell 1 BSD-2-Clause 0 0 0 Updated May 23, 2024
  • camkes-vm Public Forked from seL4/camkes-vm

    Virtual Machine build as a CAmkES component.

    dornerworks/camkes-vm’s past year of commit activity
    C 1 35 0 0 Updated Apr 30, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…