Po roce vývoje od vydání verze 1.24.0 byla vydána nová stabilní verze 1.26.0 webového serveru a reverzní proxy nginx (Wikipedie). Nová verze přináší řadu novinek. Podrobný přehled v souboru CHANGES-1.26.
Byla vydána nová verze 6.2 živé linuxové distribuce Tails (The Amnesic Incognito Live System), jež klade důraz na ochranu soukromí uživatelů a anonymitu. Přehled změn v příslušném seznamu. Tor Browser byl povýšen na verzi 13.0.14.
Byla vydána nová verze 30.0.0 frameworku pro vývoj multiplatformních desktopových aplikací pomocí JavaScriptu, HTML a CSS Electron (Wikipedie, GitHub). Chromium bylo aktualizováno na verzi 124.0.6367.49, V8 na verzi 12.4 a Node.js na verzi 20.11.1. Electron byl původně vyvíjen pro editor Atom pod názvem Atom Shell. Dnes je na Electronu postavena celá řada dalších aplikací.
Byla vydána nová verze 9.0.0 otevřeného emulátoru procesorů a virtualizačního nástroje QEMU (Wikipedie). Přispělo 220 vývojářů. Provedeno bylo více než 2 700 commitů. Přehled úprav a nových vlastností v seznamu změn.
Evropský parlament dnes přijal směrnici týkající se tzv. práva spotřebitele na opravu. Poslanci ji podpořili 584 hlasy (3 bylo proti a 14 se zdrželo hlasování). Směrnice ujasňuje povinnosti výrobců opravovat zboží a motivovat spotřebitele k tomu, aby si výrobky nechávali opravit a prodloužili tak jejich životnost.
Bylo oznámeno (cs) vydání Fedora Linuxu 40. Přehled novinek ve Fedora Workstation 40 a Fedora KDE 40 na stránkách Fedora Magazinu. Současně byl oznámen notebook Slimbook Fedora 2.
ČTK (Česká tisková kancelář) upozorňuje (X), že na jejím zpravodajském webu České noviny byly dnes dopoledne neznámým útočníkem umístěny dva smyšlené texty, které nepocházejí z její produkce. Jde o text s titulkem „BIS zabránila pokusu o atentát na nově zvoleného slovenského prezidenta Petra Pelligriniho“ a o údajné mimořádné prohlášení ministra Lipavského k témuž. Tyto dezinformace byly útočníky zveřejněny i s příslušnými notifikacemi v mobilní aplikaci Českých novin. ČTK ve svém zpravodajském servisu žádnou informaci v tomto znění nevydala.
Byla založena nadace Open Home Foundation zastřešující více než 240 projektů, standardů, ovladačů a knihoven (Home Assistant, ESPHome, Zigpy, Piper, Improv Wi-Fi, Wyoming, …) pro otevřenou chytrou domácnost s důrazem na soukromí, možnost výběru a udržitelnost.
Společnost Meta otevírá svůj operační systém Meta Horizon OS pro headsety pro virtuální a rozšířenou realitu. Vedle Meta Quest se bude používat i v připravovaných headsetech od Asusu a Lenova.
Společnost Espressif (ESP8266, ESP32, …) získala většinový podíl ve společnosti M5Stack, čímž posiluje ekosystém AIoT.
Byl vydán GNU Hurd 0.8, GNU Mach 1.7 a GNU MIG 1.7. Cílem projektu GNU Hurd je nahrazení unixového jádra sadou serverů běžících nad mikrojádrem GNU Mach. GNU MIG je nástroj potřebný pro překlad GNU Hurd a GNU Mach. Od pondělí budou na Hurdu pracovat 2 studenti v rámci letošního Google Summer of Code.
Tiskni Sdílej:
Co jsem si tak zatím zběžně přečetl, formální verifikace s vztahuje jen na jednu konkrétní konfiguraci na jednom ARMu - a např. také za předpokladu, že se nepoužívá DMA. A odpověď
On x86, seL4 can be configured to support multiple CPUs. Current multicore support is through a multikernel configuration where each booted CPU is given a portion of available memory. Cores can then communicate via limited shared memory and kernel supported IPIs. This configuration is highly experimental at the moment.
nezní v roce 2016 moc lákavě. Na nějaká malá a výkonově nenáročná embedded zařízení by to asi použít šlo (pokud tedy někdo dopíše drivery, které jsou PNJ). Ale už na nějaký router, firewall nebo fileserver to bude problém.
Když už mikrojádro, tak proč ne raději seL4, které je formálně verifikované?Přísně vzato, Hurd není mikrojádro, ale multiserver, který běží nad mikrojádrem Mach. Zatím se Hurd nepodařilo naportovat na žádné jiné mikrojádro, a proto tedy nelze použít kombinaci Hurd nad seL4. Pak by tu ještě byla možnost použít mikrojádro seL4 bez Hurdu, ale tam by zase chyběla netriviální multiserverová vrstva (IMO to nejzajímavější na Hurdu), která řeší věci jako networking, souborové systémy, autentikaci, rozšiřitelnost atp.
Licencované je také pod GPL a bezpečností se mu žádný jiný kernel nemůže rovnat (pokud vím jiný formálně verifikovaný opensource kernel ani neexistuje, jen nějaké proprietární)Viz microkernel.info a tam třeba heslo The Muen Separation Kernel.
hyběla netriviální multiserverová vrstva (IMO to nejzajímavější na Hurdu),+1