Popular repositories Loading

1. galileo-linux-stable galileo-linux-stable Public

   A Linux kernel for Intel Galileo Gen1/2 tracking Linux stable

   C 14 9

2. tummiboot tummiboot Public

   gummiboot bootloader with trusted boot(tboot) support

   C 1 1

3. crops crops Public

   Forked from crops/crops

   Containers, Toolchains and other plumbing for CROPS

   C 1

4. gummiboot-multiboot2 gummiboot-multiboot2 Public

   gummiboot fork for multiboot2 development, for upstream follow http://cgit.freedesktop.org/gummiboot/

   C

5. machine machine Public

   Forked from docker/machine

   Machine management for a container-centric world

   Go

6. toolbox toolbox Public

   Forked from docker-archive/toolbox

   The Docker Toolbox

   Objective-C