dornerworks Goto Github PK

a653_sched

A utility to configure the ARINC653 Scheduler in Xen

bao-demos

A guide on how to build and use a set of Bao guest configurations for various platforms

baremetal_xsdk

buildroot

A fork of the buildroot repo

camkes

Component Architecture test suite and example apps.

camkes-arm-vm

camkes-arm-vm-manifest

Manifest for building a virtual machine on seL4 on ARM.

camkes-debug-tool

camkes-tool

The main CAmkES tool

camkes-vm

Virtual Machine build as a CAmkES component.

camkes-vm-apps

CAmkES vm apps for all platforms

camkes-vm-examples

camkes-vm-images

Precompiled kernels etc. for use with camkes VMs.

camkes-vm-linux

capdl

christmascookies

A sugar cookie recipe and 3D printable cookie cutters from DornerWorks.

cirrious.fluentlayout.extensions

Extensions for Cirrious.FluentLayout

dockerfiles

docs

This is the source of the seL4 docs.

doorstop

Text-based requirements management using version control.

dw-camkes-apps

dw-camkes-manifests

dw-sel4-manifests

Manifests for DornerWorks seL4 applications (without CAmkES)

embeddedcmakeexamples

Embedded CMake Examples

fpga_template

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

gdbstub-app

An example application that can be used to debug another application running on seL4 on the Zynq7000.

global-components

hart-software-services

PolarFire SoC hart software services

kissfft

Fixed Point SIMD Modifications to Kiss FFT -- a Fast Fourier Transform (FFT) library that tries to Keep it Simple, Stupid

libplatsupport

OS independent basic driver library (mostly timers, serial, clocks)