Redox (sistema operatiu)

De la Viquipèdia, l'enciclopèdia lliure.
Saltar a la navegació Saltar a la cerca
Redox
sistema operatiu
Logotip
Redox executant Orbital.png
Shell Ion al sistema de finestres Orbital que s'executa a Redox.
Desenvolupador Jeremy Soller,
Desenvolupadors Redox [1]
Família Unix
Llançament inicial (20 d'abril de 2015)
corrent d'alliberament 0.6.0 (24 de desembre de 2020)
Tipus de nucli Microkernel
Plataformes compatibles x86-64 ; ARM64 en desenvolupament [2]
Llicència MIT
Etapa de desenvolupament en desenvolupament
Lloc web www.redox-os.org

Redox és un sistema operatiu similar a Unix basat en microcernel , escrit en el llenguatge de programació Rust i amb un enfocament fort en aspectes de seguretat, estabilitat i rendiment. [3] [4] [5]

Inspirat en nuclis com SeL4, MINIX , Plan 9 i BSD , és similar als ecosistemes GNU i BSD però està escrit en un llenguatge "segur de memòria". [6]

Es distribueix sota la llicència MIT i, per tant, és programari lliure i de codi obert . [7]

Metes

Redox és un intent d’obtenir un sistema operatiu genèric que funcioni centrat en la seguretat, la llibertat, la fiabilitat i el pragmatisme. [8]

L’assoliment de la màxima seguretat possible es reflecteix en dues opcions principals de disseny que caracteritzen aquest sistema operatiu:

  1. L’ús del llenguatge de programació Rust per a la implementació
  2. L’ús d’una arquitectura de microkernel, similar a MINIX

L'ús d'una llicència MIT permet la integració tant de programari cobert per la GPL o de llicències compatibles amb ell, com de programari gratuït però no compatible amb la GPL, com ara els llicenciats sota la llicència CDDL . [7]

Components

Redox vol ser un sistema operatiu complet que integri paquets ( gestió de memòria , sistema de fitxers , gestor de pantalla, funcionalitat bàsica, etc.) que junts formin un sistema operatiu funcional. Redox es basa en un ecosistema de programari escrit a Rust pels membres del projecte. [9] [10]

Història

Redox va ser creat per Jeremy Soller i es va fer públic a GitHub el 20 d'abril de 2015 [18] i des de llavors ha estat desenvolupat contínuament per una creixent comunitat de desenvolupadors.

Per al segon aniversari de Redox, s’ha publicat la versió 0.2.0 a GitHub.

Nota

  1. ^ (EN) Redox Contributors , a GitLab. Consultat el 24 de març de 2019 .
  2. ^ (EN) Porting Redox to ARM (AArch64) , a medium.com, 6 d'agost de 2018.
  3. ^ (EN) Redox: el vostre sistema operatiu Next (Gen) , a redox-os.org.
  4. ^ (EN) Dick Weisinger, Operating Systems: Rust Redox - Next-Generation An Attempt to Plug Gaps Linux OS on FORMTEK, FORMTEK, Inc., 4 de maig de 2016. Consultat el 17 de gener de 2017.
  5. ^ (EN) Serdar Yegulalp, el sistema operatiu Redox Linux de Rust podria mostrar alguns trucs nous , IDG Communications, Inc., 21 de març de 2016. Consultat el 17 de gener de 2017.
  6. ^ (EN) Redox: A Rust Operating System , a github.com.
  7. ^ A b (EN) La nostra filosofia: el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  8. ^ (EN)Our Goals: The Redox Operating System a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  9. Components ^ (EN) : el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  10. ^ (EN) Projectes paral·lels: el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  11. ^ (EN) Microkernels: el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  12. ^ (EN) redox-os / ralloc , a GitLab. Consultat el 28 de desembre de 2020 .
  13. ^ (EN) redox-os / tfs , a GitLab. Consultat el 28 de desembre de 2020 .
  14. ^ (EN) Shell: el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  15. ^ (EN) redox-os / pkgutils , a GitLab. Consultat el 28 de desembre de 2020 .
  16. ^ (EN) GUI: el sistema operatiu Redox a doc.redox-os.org. Consultat el 28 de desembre de 2020 .
  17. ^ (EN) redox-os / relibc , a GitLab. Consultat el 30 de desembre de 2020 .
  18. ^ (EN) Confirmació inicial de Rustboot · redox-os / redox @ 0edea10 basat en el SO a GitHub. Consultat el 28 de desembre de 2020 .

Enllaços externs

Programari lliure Portal de programari lliure : accediu a les entrades de Viquipèdia relacionades amb programari lliure