In this section you can find links to software distributions. The distributions that are our intellectual property are offered under GNU or Apache licenses. The distributions that are not are offered under non-commercial licenses or are in the public domain. All were designed and implemented by John Sloan and his collaborators.

• Arroyo is Diminuto Phase II using the came commercially available hardware as Diminuto but offering expanded capabilities and resources.
• Biscuit is a secure mechanism for automating system maintenance tasks on embedded systems in the lab or even in the field.  
• Buckaroo is the start of a collection of Java components which includes Chip's Instant Managed Beans. It is licensed under the Apache License, Version 2.0.
• Chapparal is a port of a tiny subset of Buckaroo to Java Micro-Edition. It runs under the CVM in the CDC on a Nokia N800 internet tablet.
• Concha is a collection of C structures and functions implementing sources and sinks that illustrate how to do object oriented design and implementation in C.
• Contraption is a GNU-based software overlay for Android for the Beagle Board that simplifies porting traditional GNU-based software to that platform.
• Desperadito is a subset of Desperado that has a reduced footprint and a much simpler build environment. It's used in Hayloft.
• Desperado is a collection of reusable components in C and C++ implementing design patterns common to embedded applications. It is licensed under a modified version of the GNU Lesser General Public License (LGPL) that allows it to be statically linked without any viral licensing implications. 
• Diminuto is my attempt to create a teaching environment for embedded and real-time software design using open source software and commercially available hardware.
• Hayloft is a C++ interface to the Amazon Web Service (AWS) Simple Storage Service (S3). It allows you to, for example, develop cloud based storage systems for embedded systems. It supports a variety of usage models including synchronous and asynchronous, single and multi-threaded.
• Horsefly is my project to learn about the software and hardware design of the AR.drone, a quad-rotor remote-controlled helicopter whose design I very much admire.
• Kernel is a tiny little microkernel, written in assembler, used to support tiny little real-time embedded systems. It is in the public domain.
• Lariat is a thin layer around Google Test (a.k.a. gtest), my favorite C++ unit testing framework, to allow you to resource constrain unit test suites.
• LibIPC is a collection of reusable components in C implementing an abstraction layer to the Berkeley socket interface. It is the intellectual property of the University Corporation for Atmospheric Research and can be used for free for non-commercial purposes.
• LibMessages is a collection of reusable components in C implementing a multiplexing message passing interface. It is the intellectual property of the University Corporation for Atmospheric Research and can be used for free for non-commercial purposes.
• LibTools is a collection of reusable components in C implementing containers, parsers, and other useful utilities. It is the intellectual property of the University Corporation for Atmospheric Research and can be used for free for non-commercial purposes.