AuroraUX

AuroraUX er en OpenSolaris avledet distribusjon, som trekker sammen de beste teknologiene myndiggjøre dagens kritiske datasenterfasiliteter & nbsp; til jagerfly som krever kvalitet programvare som rett og slett ikke kan unnlate uten svært alvorlige konsekvenser.
* AuroraUX skal i seg selv være en brukbar distro i sin egen rett.
* Samle og koordinere alle de andre OpenSolaris-felle distro-tallet med en felles kjerne base som har koordinert bugs, sikkerhetsspørsmål og stabilitet løser ikke ulikt FreeBSD kjerne.
* AuroraUX skal presse tilbake så mange endringer oppstrøms som vi kan.
* AuroraUX er bare en kjerne og en liten Userland ~ 200mb med tekstmodus installatør og en enkel pakke krybbe å oppdatere kjernen * bare *.
* AuroraUX skal samsvare med så mange standarder som mulig for å hjelpe ISV-er for å støtte AuroraUX og dermed avledet distroer.
* AuroraUX skal gi en automatisert bi-ukentlig oppdatering tjeneste for å oppdatere kjernen (kernel, drivere, adresse sikkerhetsspørsmål osv & hellip;).
* AuroraUX skal i seg selv være en brukbar distro i sin egen rett.
AuroraUX er en Solaris-avledet kernel- og bruker land. Kjernen i prosjektet er dens verktøy skrevet i Ada. Når det er nødvendig, bli dårlig implementert egenskaper fast eller omskrevet, så vel.
Ada?
Ja, Ada. Ada ble valgt fordi det omfatter alle ideologi som kjerneutviklere mener bør eksistere i et system.
Ada har mer kompilering sjekker enn du kan riste en kjepp på, og hun holder et øye med mange ting under kjøring, også.
Koden kan vanligvis leses av nesten hvem som helst med engelskkunnskaper betyr at dokumentasjon kan faktisk være skrevet av en "normal" person.
Språket er designet slik at selv det er syntaks fremmer integritet programvare.
Men mange takk går til kraftig type system. Dette er bare tips av et isfjell, og ikke nødvendigvis de viktigste årsakene.
Selvfølgelig har noen skydd Ada sier det er et militært språk eller det er en avionikk språk.
Ja, og C er en tekst-behandling språk og C ++ er for mobiltelefoner.
Og mens vi ikke vil være i stand til å unnslippe grep av C for åpenbare grunner, kan vi sikkert gjøre verden til et lykkeligere ved å kaste ut (med skjønn, for nå) så mye som vi kan, og erstatte den med en forbedret Userland utformet med et språk designet for sanntid, innebygd, sikkerhetskritisk, pålitelige og vedlikeholde systemer ved hjelp av vår favoritt dame, Ada.
AuroraUX er en edel, ikke-trivielle mål, men med besluttsomhet og ånden av de eksisterende utviklere, vil det blomstre - selv om de ville sette pris på all hjelp som tilbys.
AuroraUX gir ut boksen støtte for følgende "sikkerhets fokusert 'programmeringsspråk:
* Cyclone - En trygg dialekt av C. - "rene Cyclone programmer er ikke utsatt for en hel rekke bugs som herjer C-programmer: buffer overflow, format streng angrep, dobbel gratis bugs, dingler pekeren adkomst mv"
* Ada 83, 95 & amp; 2005. - Ada er strukturert, statisk skrevet, imperativ, og objekt-orientert. "Ada er mye brukt i kritiske systemer, der enhver uregelmessighet kan føre til svært alvorlige konsekvenser, dvs. dødsulykker eller skade. Eksempler på systemer der Ada brukes inkluderer avionikk, våpensystemer (inkludert termonukleære våpen), og romfartøy."
* Falcon - Falcon er vår skriptspråk av valget. "Enkel, rask og kraftig programmeringsspråk, lett å lære og å føle seg komfortabel med, og et skriptmotoren klar til å styrke driftskritiske flertrådede applikasjoner."
Vi tilbyr også følgende støtte til å møte alle & rsquo; s smak og / eller krav:
* Fortran & amp; C / C ++.
* Assembler støtte for: PowerPC, Ultrasparc, ARM, AVR og x86 / x64.
Hver ledende medlem av OpenSolaris basert distro lokalsamfunn skal være medlem av styret for å hjelpe til med å forene et standardiseringsorgan mellom oss og et sett banen til en sterk godt polert fundament for hvert styremedlem & rsquo; s. Avledet distro