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.
• 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.
• 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.
• Kernel is a tiny little microkernel, written in assembler, used to support tiny little real-time embedded systems. It is in the public domain.
• 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.