Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Text-based requirements management using version control.
The seL4 microkernel
Fixed Point SIMD Modifications to Kiss FFT -- a Fast Fourier Transform (FFT) library that tries to Keep it Simple, Stupid
Test suite for seL4.
Ceedling build environment for examples from James Grenning's book Test-Driven Development for Embedded C.
Yocto meta layer used to build the DornerWorks Xen Zynq Distribution.
The official Linux kernel from Xilinx
Fork of Xilinx U-boot for support purposes
Manifests that repo uses to create a yocto build of DornerWorks' Xen Zynq Distribution.
A Bare Metal Container for the Xen Zynq DIstribution
A utility to configure the ARINC653 Scheduler in Xen
The main CAmkES tool
A fork of the buildroot repo
Manifests for DornerWorks seL4 applications (without CAmkES)
DW senior project frontend
seL4 microkernel RISC-V port
An open optimized software library project for the ARM® Architecture