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 57 14

  2. embeddedCmakeExamples embeddedCmakeExamples Public

    Embedded CMake Examples

    C 26 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 5 1

  6. seL4 seL4 Public

    Forked from seL4/seL4

    The seL4 microkernel

    C 3 1

Repositories

Showing 10 of 81 repositories
  • dornerworks/inspecta-yocto-manifest’s past year of commit activity
    0 BSD-2-Clause 0 0 0 Updated Dec 19, 2024
  • dornerworks/inspecta-dev-container’s past year of commit activity
    Dockerfile 0 BSD-2-Clause 0 0 0 Updated Dec 18, 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 Dec 18, 2024
  • u-boot-xlnx Public Forked from Xilinx/u-boot-xlnx

    Fork of Xilinx U-boot for support purposes

    dornerworks/u-boot-xlnx’s past year of commit activity
    C 0 799 0 0 Updated Dec 17, 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 Dec 16, 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 52 0 0 Updated Dec 16, 2024
  • 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
  • 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

Top languages

Loading…

Most used topics

Loading…