Alternatywny dla Linuksa i BSD Redox OS osiągnął wersję 0.9.0 z aplikacjami desktopowymi COSMIC i wieloma optymalizacjami
W dniu 20 kwietnia 2015 r. Redox OS pojawił się jako nowy system operacyjny z mikrokernelem "skupiający się na bezpieczeństwie, wolności, niezawodności, poprawności i pragmatyzmie" Napisany w języku Rust i języku asemblera, projekt ten został zainspirowany fragmentami kodu takimi jak MINIX, Plan 9, SeL4bSD i Linux. W drodze do wersji 1.0, która zostanie wydana, gdy tylko wszystkie interfejsy API systemu zostaną uznane za stabilne, Redox OS zatrzymuje się na wersji 0.9.0, która zawiera sporo widocznych zmian. Co więcej, Redox OS 0.9.0 zawiera wiele poprawek pod maską, które prowadzą do "ogromnej" poprawy zarówno wydajności, jak i stabilności.
Jedną z najbardziej oczywistych zalet Redox OS 0.9.0 jest wprowadzenie aplikacji desktopowych COSMIC, a mianowicie Pliki, Edytor i Terminal. Jeśli chodzi o oprogramowanie, edytory tekstu Nano i Helix zostały przeniesione na Redox OS. Dzięki finansowaniu zapewnionemu przez NLnetredox OS oferuje teraz solidne ulepszenia w zakresie cyklu życia procesów/wątków i sygnalizacji. Dodatkowo, przenośność programów Linux/BSD również otrzymała solidne ulepszenia. Wersja 0.9.0 zawiera również szeroko zakrojone czyszczenie i debugowanie jądra, sterowników i obsługi PCIe.
Oprócz wszystkich powyższych, należy również wspomnieć, że RustPython jest w pełni funkcjonalny, system zawiera teraz pierwszy jak dotąd serwer HTTP (port Simple HTTP Server) i wiele więcej. Wszystkie szczegóły można znaleźć w ogłoszeniu o wydaniu, do którego link znajduje się po filmie osadzonym poniżej.
Programiści poszukujący książki na temat mikrokerneli mogą pobrać The Operational Excellence Library; Mastering Microkernel Architecture autorstwa Gerardusa Blokdyka - The Art of Service z Amazon za 80,57 USD w miękkiej oprawie (10% zniżki).