Genode
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/17 07:15 UTC 版)
Genode [4] [5][6] は、フリーでオープンソースなオペレーティングシステムフレームワークであり、マイクロカーネル抽象化レイヤー とユーザースペースコンポーネントのコレクションで構成されている。 Genodeは、例えばUnixのようなプロプライエタリーなオペレーティングシステムから派生したのではない数少ないオペレーティングシステムの一つとして知られている。 特徴的な設計思想として、小さなトラステッド・コンピューティング・ベース(TCB)により、セキュリティーを指向したオペレーティングシステムであることを目指している。
- ^ “Genode OS Framework latest release”. 2021年3月13日閲覧。
- ^ “Genode OS adds RISC-V support”. 2019年6月4日閲覧。
- ^ “Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware”. Phoronix. 2019年6月4日閲覧。
- ^ “Introduction of the Genode OS Framework”. archive.fosdem.org/2012. 2019年6月4日閲覧。
- ^ a b “L4 Based Operating Systems”. L4hq.org. 2019年6月4日閲覧。
- ^ “Redox OS, MINIX, Hurd & Genode Had Their Time At FOSDEM Too”. Phoronix. 2019年6月4日閲覧。
- ^ “Genode 2018.2 mit Sculpt OS”. pro-linux.de. 2019年6月4日閲覧。
- ^ “Sculpt Aims To Be A General-Purpose OS Built Atop Genode”. 2019年6月4日閲覧。
- ^ Tarasikov, Alexander (2013年5月11日). “Porting Genode to commercial hardware”. allsoftwaresucks.blogspot.com. 2019年6月4日閲覧。
- ^ “Muen - An x86/64 Separation Kernel for High Assurance”. 2019年6月4日閲覧。
- ^ “Inspecting data from the safety of your trusted execution environment”. 2019年6月4日閲覧。
- ^ “Embassies: Radically Refactoring the Web”. USENIX. 2019年6月4日閲覧。
- ^ “Contract Specification and language”. ccc-project.org (2014年12月11日). 2019年6月4日閲覧。
- ^ “The Secure Communication Module of CCC”. ccc-project.org (2016年1月6日). 2019年6月4日閲覧。
- ^ Hamad, Mohammad. “A communication framework for distributed access control in microkernel-based systems”. 2019年6月4日閲覧。
- ^ B.PRUTHIVIRAJ, G.S.MADHUSUTHUN, S.VIJAYASARATHY, K.CHAKRAPANI. “A MICROKERNEL BASED SECURE OPERATING SYSTEM USING GENODE FRAMEWORK”. jatit.org. 2019年6月4日閲覧。
- ^ “Empirical Comparison of SCons and GNU Make”. 2019年6月4日閲覧。
- ^ “Genode OS Framework, un framework para el desarrollo de sistemas embebidos”. ResearchGate. 2019年6月4日閲覧。
- ^ “TU Dresden technical report TUD-FI06-07”. 2019年6月4日閲覧。
- ^ “NOVA Microhypervisor”. 2019年6月4日閲覧。
- ^ “SeL4 Community Projects”. sel4.systems. 2019年6月4日閲覧。
- ^ “Release notes 18.02”. 2019年6月4日閲覧。
- 1 Genodeとは
- 2 Genodeの概要
- 3 批判
- 4 Sculpt
- Genodeのページへのリンク