| Company / developer | Edward O'Callaghan |
|---|---|
| OS family | Unix-like |
| Working state | In development |
| Source model | Open source |
| Marketing target | High-Integrity OS |
| Available language(s) | English |
| Update method | Binary |
| Package manager | Hydra |
| Supported platforms | x86, x86-64 |
| Kernel type | Monolithic |
| License | Mixed, Primary license - BSD |
| Official website | www.auroraux.org |
AuroraUX (AUX) is a suite of high-integrity applications, libraries and user tools and an operating system distribution [1][2] based on the DragonFly BSD kernel [3] 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 programming language[4]. The AuroraUX kernel is based on the DragonFly BSD 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. As well as using the Ada programming language AuroraUX supports [5], C and C++. 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 [6][7] for a scripting language. Fortran 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/LLVM [8] for the compiler [9][10][11][12], and has a POSIX compatible shell [13]. It supports IA-32 and x86-64 [14] support project is underway. Additionally AuroraUX provides [15] support infrastructure for development and testing of the Cairo and Pixman projects.
|
||||||||