針對 AArch64 架構的 seL4 微核心的形式化安全性驗證已經完成。
針對基於 AArch64 指令集架構的系統，seL4 微核心的可靠性和安全性進行了形式化數學驗證。驗證過程包括對 seL4 運行正確性的數學證明，證明其完全符合形式化語言中定義的規範。這項可靠性證明使得 seL4 能夠應用於基於 ARM64 處理器的關鍵任務系統中，這些系統需要高安全性和 […]
分類博客
發布了基於 Slackware 的發行版 PorteuX 2.8
基於 Slackware 並受 Slax 和 Porteus 專案啟發的 PorteuX 2.8 發行版新版本已發布。 PorteuX 的功能包括預先配置的桌面環境（基於 Cinnamon、COSMIC、GNOME、KDE、LXDE、LXQt、MATE 和 Xfce）、針對 Intel、AMD 和 NVIDIA GPU 的多媒體處理硬體加速，以及 3 種啟動模式 […]
已為 KolibriOS 開發了 RDP 用戶端。
適用於 KolibriOS 作業系統的 RDPClient 已發布，該用戶端使用彙編語言編寫。交叉編譯採用基於 GCC-5.4.0 的 Kos-32 編譯器。加密通道的實作使用了靜態連結的 BearSSL 函式庫。鑑於 KolibriOS 本身及其工具鏈的限制，開發工作使用 C 語言，並採用直接系統呼叫。開發過程中使用了 Claude AI 助手。已實現的功能包括動態調整視窗大小 […]
Wine 11.16 和 Proton 11.0-2 的新版本
Wine 11.16 是一個實驗性的開源 Win32 API 實作版本，現已發布。自 11.15 版本發布以來，已修復 35 個錯誤報告，並進行了 244 項更改。最重要的變更包括：使用 VA-API 實現了視訊解碼的硬體加速；Wine Mono 引擎已更新至 11.3.0 版本，增加了對 ARM64 架構的支援。 Wine Mono 是發行版 […]
中國正在將一些政府機構從 Windows 上 Linux
根據彭博社報道，中國國家安全部已下令多個政府機構停止使用該作業系統。 Windows 10 中國政府版有利於中國發行 Linux例如 Kylin OS 和 UOS（基於 Deepin 的 UnionTech OS）。此次遷移是政府機構長期策略的一部分，旨在用開源解決方案取代外國技術 […]
為了支持 Omarchy 的分發，Omacom 基金會成立，並獲得了 8 萬美元。
Ruby on Rails Web 框架的作者 David Heinemeier Hansson 宣布成立 Omacom 基金會，這是一個非營利組織，將為 Omarchy 發行版的開發提供長期支持。 Linux 以及相關基礎設施。該組織還將管理商標、提供資金，並支持該發行版所依賴的開源專案和開發者。組織的啟動預算為 […]
Pine64項目已暫停生產。 Linux裝置
開源硬體專案 Pine64 宣布暫停生產。 Linux由於DRAM記憶體和eMMC儲存短缺，部分裝置將停產。明年下半年將考慮恢復生產，時間取決於DRAM和eMMC的價格。現有PineNote和PineTab2設備的庫存將在大約三個月後耗盡。基於微控制器的設備（例如[…]）的生產也將受到影響。
Rust 1.98.0 版本發布：arrayref 套件遭到入侵，該包在三個月內被下載了 5300 萬次。
Rust 程式語言 1.98 版發布。它最初由 Mozilla 計畫創立，但現在由獨立非營利組織 Rust 基金會支持開發。該語言注重記憶體安全，並提供了實現高平行任務執行的方法，同時無需使用垃圾收集器和運行時（運行時簡化為標準庫的基本初始化和維護）。其工作方法 […]
軟體包管理器 RPM 6.1 發布
Fedora 發行版將使用的軟體套件管理器 RPM 6.1 已經發布。 Linux 45. 該專案由紅帽公司開發，並應用於 RHEL、Fedora、SUSE、openSUSE、ALT 等發行版。 Linux， 玫瑰 LinuxOpenMandriva、Mageia、PCLinux作業系統和 Tizen。專案代碼以 GPLv2 和 LGPLv2 授權發布。為迎接 RPM 6.1 的到來，我們正在進行向新版本的過渡 […]
SoLo 專案開發了一個用於完全靜態系統的 SO 庫載入器。 Linux程式
SoLo專案已發布，實現了完全靜態的 Linux使用 musl 建置的程式會透過 dlopen() 載入系統上安裝的 glibc 函式庫，主要是 GPU 驅動程式。靜態連結通常與 Vulkan 和 OpenGL 驅動程式不相容，因為發行版提供的 Vulkan 和 OpenGL 驅動程式是以共享庫的形式，使用 glibc 建構的。 SoLo 透過使用嵌入在可執行檔中的 ELF 載入器和一個轉換層來克服這一限制 […]
X.Org Server Release Candidate 26.1 現已發布。
X.Org Server 26.1.0 候選版本 (xorg-server 26.0.99.901) 已發布，標誌著最終穩定版本發布前的測試階段正式開始。 X.Org Server 26.1.0 將是 X.Org Server 五年來的首個主要版本——上一個主要分支 21.1 於 2021 年發布。與 xorg-server 21.1 相比，主要變更包括：移除 autoconf/automake 建置系統，轉而支援 […]
KDE 專案推出的應用程式套件 KDE Gear 26.08 已經發布。
經過四個月的開發，由 KDE 計畫開發的 KDE Gear 26.08 八月更新現已發布。此次更新包含超過 250 個程式、函式庫和插件。有關包含新應用程式的 Live 版本的信息，請訪問此頁面。各個應用程式的新版本可從 Flathub 和 SnapCraft 下載。最顯著的更新包括：文件 […]