AuroraUX is a suite of high-integrity applications, libraries and user tools and an operating system distribution based on the DragonflyBSD kernel source base which serves as a reference implementation of the AuroraUX suite and other AUX projects.

The goal of the AuroraUX project is to create a highly reliable, mission critical, minimal operating system. AuroraUX uses the Ada

Ada (programming language)

Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages...

 programming language. The AuroraUX kernel is based on the DragonflyBSD kernel. While it is meant to be minimalist and used as a base for other distributions it will also be functional as an operating system in itself.

Ada is a validated and secure programming language originally targeted at embedded and real-time systems like avionics, weapon systems and spacecraft

Spacecraft

A spacecraft or spaceship is a craft or machine designed for spaceflight. Spacecraft are used for a variety of purposes, including communications, earth observation, meteorology, navigation, planetary exploration and transportation of humans and cargo....

. As well as using the Ada programming language AuroraUX supports , C

C (programming language)

C is a general-purpose computer programming language developed between 1969 and 1973 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system....

 and C++

C++

C++ is a statically typed, free-form, multi-paradigm, compiled, general-purpose programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features. It was developed by Bjarne Stroustrup starting in 1979 at Bell...

. Cyclone has been developed to avoid buffer overflows and other vulnerabilities of C. Note that Cyclone does not seem to be supported out of the box as Clang, and the AuroraUX binary release does not include a GCC binary. The AuroraUX team has chosen Falcon

Falcon (programming language)

Falcon is an open source, multi-paradigm programming language. Design and implementation is led by Giancarlo Niccolai, a native of Bologna, Italy and Information Technology graduate from Pistoia....

  for a scripting language. Fortran

Fortran

Fortran is a general-purpose, procedural, imperative programming language that is especially suited to numeric computation and scientific computing...

 is also supported because of its numeric and scientific background, one of the core areas the system is being developed for.

The AuroraUX project has decided to use Clang

Clang

Clang is a compiler front end for the C, C++, Objective-C, and Objective-C++ programming languages. It uses the Low Level Virtual Machine as its back end, and Clang has been part of LLVM releases since LLVM 2.6....

/LLVM

Low Level Virtual Machine

The Low Level Virtual Machine is a compiler infrastructure written in C++ that is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs written in arbitrary programming languages...

  for the compiler , and has a POSIX compatible shell . It supports IA-32

IA-32

IA-32 , also known as x86-32, i386 or x86, is the CISC instruction-set architecture of Intel's most commercially successful microprocessors, and was first implemented in the Intel 80386 as a 32-bit extension of x86 architecture...

 and x86-64

X86-64

x86-64 is an extension of the x86 instruction set. It supports vastly larger virtual and physical address spaces than are possible on x86, thereby allowing programmers to conveniently work with much larger data sets. x86-64 also provides 64-bit general purpose registers and numerous other...

  support project is underway. Additionally AuroraUX provides support infrastructure for development and testing of the Cairo

Cairo (graphics)

cairo is a software library used to provide a vector graphics-based, device-independent API for software developers. It is designed to provide primitives for 2-dimensional drawing across a number of different backends...

 and Pixman projects.

External links

• AuroraUX Forums
• Ohloh Project Statistics
• [irc://irc.freenode.net/auroraux #auroraux] on freenode
  Freenode
  freenode, formerly known as Open Projects Network, is an IRC network used to discuss peer-directed projects. Their servers are all accessible from the domain name [irc://chat.freenode.net chat.freenode.net], which load balances connections by using the actual servers in rotation...