Abo
  • Services:
Anzeige
Minix läuft jetzt auch auf ARM.
Minix läuft jetzt auch auf ARM. (Bild: Minix)

Freies Betriebssystem: Minix 3.3.0 läuft auf ARM

Die neue Version 3.3.0 des forschungsorientierten Betriebssystems Minix soll sich komplett selbst heilen können. Zudem ist der Userland-Teil kompatibel zu NetBSD und das System läuft auf ARM-Rechnern.

Anzeige

Dank Forschungsgeldern der EU hat das Team um Andrew S. Tanenbaum das Betriebssystem Minix in der nun veröffentlichten Version 3.3.0 zu einem "soliden, kommerziell brauchbaren Produkt" ausgebaut, wie es in der Ankündigung heißt. Die größte Neuerung ist wohl die Portierung auf ARM.

Konkret unterstützt wird zusätzlich zu dem bisherigen x86 nun auch die Cortex-A8-Architektur. Portierungen für die Entwickler- und Bastelplatinen Beagleboard XM, Beaglebone White und Beaglebone Black sind vorhanden, ebenso wie die Werkzeuge zum Crosskompilieren des Minix-ARM-Ports unter Linux. Darüber hinaus ist das Minix-Userland nun zu sehr großen Teilen kompatibel zu NetBSD, wodurch mehr als 4.000 Pakete aus NetBSD in Minix genutzt werden können.

Minix basiert auf einem Microkernel, der lediglich knapp 13.000 Zeilen Code umfasst, Interrupts verwaltet und Nachrichten weiterleitet. Dies ist zudem der einzige Code, der im Kernel-Mode läuft, der Rest wird als voneinander isolierte und abgesicherte Prozesse im User-Mode betrieben, was insbesondere für die Treiber gilt. Sollten die Treiber abstürzen, werden diese automatisch neu gestartet, ohne dass eine auf die Ressource zugreifende Anwendung dies bemerkt. Deshalb bezeichnen die Entwickler das System als sich selbst heilend.

Derzeit steht kein X11-Server zur grafischen Benutzung bereit, da die bisher verwendete alte monolithische Version nicht mehr verwendet werden kann. Die Portierung einer aktuellen Version von Xorg ist aber bereits in Arbeit und soll sobald wie möglich bereitgestellt werden. Weitere Details finden sich in den Release Notes. Abbilder für x86 und die genannten ARM-Geräte stellen die Entwickler zum Download bereit, ebenso wie eine Anleitung zum Kompilieren für ARM.


eye home zur Startseite
Little_Green_Bot 17. Sep 2014

Kleine ARM-Server.

M.P. 17. Sep 2014

Auf jeden Fall muss ich nicht wie Du bis 67 arbeiten ;-) Mein reguläres...



Anzeige

Stellenmarkt
  1. PDV-Systeme GmbH, Goslar
  2. PDV-Systeme GmbH, Dachau
  3. operational services GmbH & Co. KG, Frankfurt
  4. Terra Canis GmbH, München


Anzeige
Spiele-Angebote
  1. (-61%) 17,99€
  2. (-75%) 2,49€
  3. 18,99€

Folgen Sie uns
       


  1. Spielebranche

    Shadow Tactics gewinnt Deutschen Entwicklerpreis 2016

  2. Erotik-Abo-Falle

    Verdienen Mobilfunkbetreiber an WAP-Billing-Betrug mit?

  3. Final Fantasy 15

    Square Enix will die Story patchen

  4. TU Dresden

    5G-Forschung der Telekom geht in Entertain und Hybrid ein

  5. Petya-Variante

    Goldeneye-Ransomware verschickt überzeugende Bewerbungen

  6. Sony

    Mehr als 50 Millionen Playstation 4 verkauft

  7. Weltraumroboter

    Ein R2D2 für Satelliten

  8. 300 MBit/s

    Warum Super Vectoring bei der Telekom noch so lange dauert

  9. Verkehrssteuerung

    Audi vernetzt Autos mit Ampeln in Las Vegas

  10. Centriq 2400

    Qualcomm zeigt eigene Server-CPU mit 48 ARM-Kernen



Haben wir etwas übersehen?

E-Mail an news@golem.de


Anzeige
Canon EOS 5D Mark IV im Test: Grundsolides Arbeitstier mit einer Portion Extravaganz
Canon EOS 5D Mark IV im Test
Grundsolides Arbeitstier mit einer Portion Extravaganz
  1. Video Youtube spielt Livestreams in 4K ab
  2. Ausgabegeräte Youtube unterstützt Videos mit High Dynamic Range
  3. Canon EOS M5 Canons neue Systemkamera hat einen integrierten Sucher

Named Data Networking: NDN soll das Internet revolutionieren
Named Data Networking
NDN soll das Internet revolutionieren
  1. Geheime Überwachung Der Kanarienvogel von Riseup singt nicht mehr
  2. Bundesförderung Bundesländer lassen beim Breitbandausbau Milliarden liegen
  3. Internet Protocol Der Adresskollaps von IPv4 kann verzögert werden

Travelers Box: Münzgeld am Flughafen tauschen
Travelers Box
Münzgeld am Flughafen tauschen
  1. Apple Siri überweist Geld per Paypal mit einem Sprachbefehl
  2. Soziales Netzwerk Paypal-Zahlungen bei Facebook und im Messenger möglich
  3. Zahlungsabwickler Paypal Deutschland bietet kostenlose Rücksendungen an

  1. Re: 2 Wochen vor Kino erstmal die Raubkopier...

    DASPRiD | 04:08

  2. Re: DSL-Community

    Moe479 | 04:05

  3. Re: Streaming. Dafür werden Filme gemacht.

    DASPRiD | 03:59

  4. Re: Solange sich wie immer am Preis/TB nichts...

    honna1612 | 03:58

  5. Re: Vor 8 Jahren gabs das auch schon...

    My1 | 03:16


  1. 22:00

  2. 18:47

  3. 17:47

  4. 17:34

  5. 17:04

  6. 16:33

  7. 16:10

  8. 15:54


  1. Themen
  2. A
  3. B
  4. C
  5. D
  6. E
  7. F
  8. G
  9. H
  10. I
  11. J
  12. K
  13. L
  14. M
  15. N
  16. O
  17. P
  18. Q
  19. R
  20. S
  21. T
  22. U
  23. V
  24. W
  25. X
  26. Y
  27. Z
  28. #
 
    •  / 
    Zum Artikel