The SPIN Operating System is a research project implemented in the computer programming language Modula-3, and is an Open Source project. It is designed with three goals in mind: flexibility, safety and performance. SPIN was developed at the University of Washington.The kernel can be extended by dynamically loaded modules which implement interfaces that represent domains. These domains are defined by Modula-3 INTERFACE.