Genode

軟件截圖:
Genode
軟件詳細信息:
版本: 17.08 更新
上傳日期: 2 Oct 17
開發: Genode Labs
許可: 免費
人氣: 13

Rating: nan/5 (Total Votes: 0)

Genode 是一個擴展現有內核(例如,微內核或管理程序)的開源操作系統框架,並為應用程序提供統一的API。

目前,支持L4 / Fiasco和Linux。

此版本中的新功能

  • Intel Gen-8 GPU的硬件加速圖形
  • ARM和64位x86硬件上的seL4內核
  • 基本框架和操作系統級基礎架構:
  • 簡化IOMMU處理
  • 用於捕獲報告到文件的新報表服務器
  • 依次啟動組件的新運行時環境
  • 支持啟動時初始化幀緩衝區
  • 擴展VFS的非阻塞操作
  • 默認情況下阻止會話為只讀
  • 精煉時間處理

  • 基於FatFS的VFS插件
  • 增強的GUI原語
  • C運行時
  • 庫和應用程序:
  • Mesa調整
  • 包裹管理
  • 平台:
  • Genode as Xen DomU
  • 在裸機上執行(base-hw)
  • Muen分離內核
  • NOVA microhypervisor

17.05版中的新功能

  • 基本框架:
  • Genode Foundations書的新版本
  • 完成組件過渡到現代API
  • 簡化異常類型
  • 能力配額的分配和交易
  • 合併RAM和PD服務的核心組件
  • 靜態構造函數的顯式執行
  • 從應用層信號分離I / O信號
  • 操作系統級庫和組件:
  • 通過init
  • 進行動態資源管理和服務轉發
  • 用戶級時間的新API
  • 文件系統會話中的帶內通知
  • 基於日誌的CPU負載顯示
  • 網絡流量監控
  • POSIX libc配置文件作為共享庫
  • 塊設備級組件的狀態報告
  • 運行時和應用程序:
  • NOVA上VirtualBox 5的功能完整性
  • Nim編程語言
  • Qt5已更新至版本5.8
  • 平台:
  • 在裸機上執行(base-hw)
  • Muen分離內核更新
  • Fiasco.OC內核更新
  • 工具鏈:
  • GNU編譯器集合(GCC)6.3,包括Ada支持
  • 內置可執行文件的分離式調試版本

版本13.11中的新功能

  • 基本框架:
  • 動態資源平衡
  • 默認情況下啟用C ++ 11
  • 改進的事件跟踪
  • 低級操作系統基礎架構:
  • 使用Linux TCP / IP協議棧進行千兆位網絡
  • 改進的nitpicker GUI服務器
  • 新的終端服務
  • 用於混合Genode / Linux系統的新文件系統服務器
  • 用於訪問塊設備的新C運行時插件
  • 設備驅動程序:
  • Raspberry Pi的圖形和USB HID
  • HDMI for Samsung Exynos 5
  • 應用程序和庫:
  • 支持OpenGL和QML的Qt5
  • 基於FUSE的新文件系統
  • DosBox端口
  • 運行時環境:
  • 高級GNU調試器功能
  • ARM TrustZone支持飛思卡爾i.MX53
  • 平台:
  • 為動態工作負載啟用Base-HW
  • NOVA上的內核對象的終身管理
  • 支持在Fiasco.OC上運行的L4Linux

版本13.08中的新功能

  • 版本13.08的發行標誌著Genode OS框架的5週年。我們慶祝這個週年紀念,增加了我們非常渴望的三個主要功能,即Qt5到Genode的端口,深刻的多處理器支持和輕量級的事件跟踪框架。此外,新版本還提供了SATA 3.0的新設備驅動程序和Exynos-5 SoC的電源管理,x86上的NOVA更新的虛擬化支持,更新的內核以及下載的第三方源代碼的完整性檢查。
  • 在過去五年中,Genode的發展主要是通過添加和培養功能,使框架適合盡可能多的應用領域。既然我們擁有了大量的功能,那麼僅僅關注功能就不足夠了。 Genode可以做什麼的問題最終會變成Genode可以做些什麼的一個問題:一定的工作負載如何穩定?網絡如何發揮作用?它如何擴展到多處理器系統?因為我們對這些問題缺乏簡明扼要的答案,所以我們必須進行調查在談到穩定性時,我們最近推出的自動測試基礎設施使我們比以往任何時候都更加自信。每天晚上,進行了200多次自動測試,涵蓋各種內核和多個硬件平台。所有這些測試都是以所謂的運行腳本形式公開提供的,並且正在不斷的發展。

  • 關於業績調查,最近我們已經開始對基於網絡吞吐量的應用性能進行評估。有趣的是,我們的測量結果揭示了使用的內核之間的顯著差異,但也是我們的軟件堆棧中的缺點。例如,目前我們看到,我們的lwIP版本在千兆網絡上表現不佳。要徹底調查此類性能問題,當前版本增加了跟踪Genode組件行為的支持。這將使我們能夠深入了解複雜應用級工作負載的關鍵路徑上的所有組件間交互。得益於Genode體系結構,我們可以提出一個非常簡單但功能強大的追踪工具設計。節輕型事件跟踪說明了它的工作原理。
  • 在多處理器可擴展性方面,我們曾經避開這樣的查詢,因為我們沒有太多考慮。這個觀點現在已經改變了。在目前的版本中,我們將CPU的親和力管理權直接納入了框架的核心,即Genode的會話概念。此外,我們通過啟用Genode在NOVA虛擬機管理程序上使用多個CPU來破解了一個壞的堅果。該內核是迄今為止x86架構中最先進的開源微內核。然而,NOVA的MP模型似乎與Genode的API設計本質上相矛盾。幸運的是,我們發現了一個相當優雅的方式,我們可以馴服野獸。部分增強的多處理器支持將進一步細化。

  • 功能性方面,我們一直認為QT在Genode上的可用性是一大資產。在目前的版本中,我們很高興地宣布,我們終於從Qt4切換到Qt5。在所有內核上提供的Qt5部分可以深入了解我們在移植工作中面臨的挑戰。

  • 除了這些亮點之外,新版本還有改進的地方。更多的支持POSIX線程,更新的設備驅動程序,更新版本的Fiasco.OC內核和L4Linux,以及Exynos-5的新設備驅動程序。最後,已經解決了驗證下載的第三方源代碼的完整性的問題。

版本12.11中的新功能

  • Genode OS Framework版本12.11的中心主題是自主託管Genode on Genode。通過自主託管,我們了解Genode環境中整個Genode構建系統的執行情況。追求這一工作有兩個動機。首先,這是Genode開發人員將Genode用作日常操作系統的基本先決條件。當然,這個先決條件可以使用可用的虛擬化解決方案之一實現。例如,我們可以在Fiasco.OC內核的Genode之上運行L4Linux,並使用L4Linux實例中的Genode構建系統。然而,這就擊敗了Genode背後的主要動機,以降低系統的複雜性。通過在圖片中同時包含Genode和L4Linux,我們確實會增加配置,維護和使用系統的整體複雜性。因此,我們很大程度上希望從圖片中刪除複雜的Linux用戶地。第二個動機是證明框架和基礎平台適用於足夠穩定的現實世界。如果系統無法處理像構建系統這樣的工作負載,那麼在討論基於微內核的系統對於當前商品操作系統(如GNU / Linux)的附加價值方面沒有什麼意義。

  • 我們很高興到達可以直接在運行於微內核的Genode上執行未修改的Genode構建系統的狀態。由於構建系統基於GNU實用程序和GNU編譯器集合,因此在這些工具和Genode API之間進行了大量的工作。 Genode Genode on Genode提供了我們實現目標的方式和當前狀況的見解。
    隨著將構建系統引入Genode的工作,在整個地方都有許多穩定性的改進和優化,通過C運行時,各個內核,文件系統實現,內存分配器,到實際程序工具鏈由...組成。說到工具鏈,官方Genode工具鏈已經從GCC 4.6.1版更新到4.7.2版。因此,所有第三方代碼包都進行了測試和修復活動。

  • 為了運行構建系統,該項目目前專注於NOVA和Fiasco.OC作為基礎平台。然而,我們針對ARM架構的定制內核平台也獲得了顯著的改進。隨著對飛思卡爾i.MX和德州儀器OMAP4的更多支持,該平台被證明非常適合新的SoC,而新的緩存處理帶來了歡迎的性能提升。此外,我們還為ARM TrustZone技術添加了實驗支持,主要是在所謂的正常世界中執行Linux,在所謂的TrustZone安全世界中執行Genode。

  • 當我們發現越來越多的興趣使用Genode作為Linux上的中間件解決方案時,我們大部分重新審視了對這個內核平台的支持,並發現了令人遺憾的新方法,使Genode的概念與Linux內核提供的機制相一致。 Linux部分概述了支持該平台的新方法。
  • 新功能介紹支持Open Sound System的音頻驅動程序,新的OMAP4 GPIO驅動程序,圖形終端的改進以及SSH客戶端的初始端口。

版本12.08中的新功能

  • 使用Genode 12.08,該項目側重於平台支持。它進入了基於OMAP4的ARM平台的世界,復興並大大增強了對NOVA虛擬機管理程序的支持,並且能夠直接在ARM平台上運行,而無需底層內核。
  • 新的基礎平台與Genode傳統的補充現有內核用戶陸地基礎設施的方法有所偏離。它完全使分離的內核離開圖片,從而將基於Genode的系統的可信計算基礎的基線與大約一半相比較。新的基礎平台在裸體ARM硬件部分Genode中有所描述。

  • 談到基礎平台,我們很高興在基礎平台上將NOVA管理程序提升為一流的公民。在過去幾個月裡,這個內核對其發展模式及其功能集進行了根本性的變化。這促使我們大大提高Genode對該平台的支持並利用其獨特功能。如果考慮在基於x86的硬件上使用Genode,NOVA已經成為一個非常有吸引力的基礎。包含NOVA管理程序的部分描述了NOVA特定的更改。

  • 當前版本的平台支持的改進並不僅僅是基礎平台,而是擴展到深刻的設備驅動程序,特別是在流行的Pandaboard上使用的基於ARM的OMAP4 SoC。我們很自豪地宣布推出HDMI輸出,SD卡,USB HID和該平台的網絡設備驅動程序。
  • 除了低級平台的改進之外,新版本還提供了多項新服務,現有組件的優化和新的移植庫。特別是,Noux運行時已經達到了一個程度,我們可以主要執行嚴格的網絡應用程序,如Genode上本機的Lynx Web瀏覽器。另一個例子是新的基於FFAT的文件系統服務,它通過Genode的文件系統界面使持久存儲可用。通過將此新服務與現有組件(如分區服務,Noux)或libc的文件系統插件相結合,可以使用許多新的應用場景。由於這些新組件,框架已經能夠通過在Noux中運行的GDB執行目標調試,或者通過lighttpd Web服務器來承載genode.org網站。

版本12.02中的新功能


    <12> Genode 12.02發行版標誌著項目歷史上令人激動的一點,因為它是在開放實驗室開發的第一個版本,而不是Genode實驗室的內部開發。因此,我們已經將GitHub作為討論和源代碼管理的中心設施。這種變化對框架的用戶和開發人員都有好處。對於用戶來說,可以使用官方genodelabs / master分支掌握最新的發展,並參與討論當前的活動。對於常規Genode開發人員,公共Git存儲庫取代了以前的公共Subversion和公司內部Mercurial存儲庫的組合,使生活更容易。在解釋開發過程中,我們概述了這一變化背後的動機,並指出了新資源。
  • 基本系統的主要新增功能是用於訪問內存映射I / O資源的新框架API,在Linux上使用Genode作為用戶級組件框架的特殊支持,以及對現有組件的重用的API支持沙箱圖書館的形式。這些更改伴隨著新的設備驅動程序基礎架構,例如設備驅動程序管理器的第一個版本和新的ACPI解析器。
  • 目前的版本採取了朝著2012年路線圖的目標邁出的第一步,將Genode轉變為可供其開發人員日常使用的通用操作系統。根據路線圖,我們使用fork語義增強了Noux運行時間,以便我們可以在各種微內核上運行基於命令行的GNU程序,如bash shell和coreutils。此外,通過移植和更新庫,例如Qt 4.7.4和MuPDF PDF渲染引擎,圖書館基礎設施得到了加強。

版本11.11中的新功能

  • 虛擬化水平偏低:
  • 由溫哥華VMM啟用的忠實x86 PC虛擬化
  • Android半虛擬化
  • 使用Noux運行時環境的操作系統級虛擬化
  • 通過應用級虛擬化進行GDB調試
  • 基本框架,低級操作系統基礎架構:
  • 在用戶級別處理CPU異常
  • 遠程訪問線程狀態
  • 改善信號延遲
  • 優化大型內存映射大小
  • 標準C ++庫

  • 終端會話界面
  • 動態鏈接器
  • 庫和應用程序:
  • C運行時
  • 溫哥華虛擬機監視器
  • TCP終端
  • 基於幀緩衝區的虛擬終端和ncurses
  • Noux
  • GDB監視器
  • L4Linux / L4Android:
  • 更新到內核版本3.0
  • Stub-driver support
  • L4Android
  • 設備驅動程序:
  • iPXE網絡驅動程序的設備驅動程序環境
  • PL110顯示驅動程序
  • UART驅動程序
  • 平台支持:
  • NOVA Microhypervisor版本0.4
  • Fiasco.OC microkernel
  • 更新到版本38
  • 查詢和操作遠程線程
  • 多功能Express Cortex-A9x4
  • 的Linux
  • 基於UNIX域套接字的新IPC實現
  • 支持手動管理本地子地址空間
  • 改進了混合Linux / Genode程序的處理
  • L4ka ::開心果微內核
  • 構建系統和工具:
  • 基於GCC 4.6.1的新工具鏈
  • 庫依賴構建階段的優化
  • 改進的libports和ports包處理

版本11.05中的新功能

  • 用於類型安全的進程間通信的新API
  • 擴展Fiasco.OC平台支持
  • 共享庫
  • 信令框架
  • 支持ARM RealView PBX-A9
  • x86 64位支持
  • L4Linux(IA32和ARM)
  • 新的實驗性GDB支持
  • MicroBlaze平台的設備I / O支持
  • 用於輸入,顯示,網絡和SD卡的ARM RealView PBX設備驅動程序

  • 新的即用型腳本可輕鬆測試各種Genode功能,如Qt4,lwIP,Noux,L4Linux,GDB

版本10.02中的新功能

  • 在各種與平台相關的改進中,版本10.02增加了對NOVA和Codezero內核的支持,並引入了管理實時優先級的新概念。
  • Genode項目成功完成了以前的功能豐富的版本,有機會專注於擴展基礎平台對框架的支持。我們很高興地報告,我們能夠通過兩個新的現代微內核(即NOVA和Codezero)在2009年首次發布,來補充已經廣泛的支持的內核。因此,Genode提供了一個統一的用戶級基礎架構,直接在這些內核上運行以及Linux(32位和64位),OKL4v2(x86和ARMv4),L4 / Fiasco和L4ka :: Pistachio。對於創建基於微內核的應用程序的開發人員,該框架隱藏了各自內核的複雜性。但它也力求使用戶可以訪問每個基礎平台的獨特功能。例如,在新版本中,我們將OKL4和L4ka :: Pistachio的實時調度提供給Genode應用程序。

版本9.05中的新功能

  • 應用:
  • 整合Qt4
  • 基於Qt4的啟動板
  • 操作系統服務和驅動程序:
  • Nitpicker性能調整
  • 用於VESA驅動程序的虛擬化PCI總線
  • USB會話和設備界面
  • USB支持:
  • USB HID驅動程序
  • UHCI,OHCI和EHCI的主機控制器驅動程序
  • OKL4作為新平台
  • 支持64位Linux平台
  • 基本框架細化

類似的軟件

BoxmaX KS
BoxmaX KS

15 Apr 15

Perl OS
Perl OS

2 Jun 15

fli4l
fli4l

20 Feb 15

意見 Genode

評論沒有發現
添加評論
打開圖片!