zircon - Git at Google
5cd705e Deprecate obsolete repository by Renato Mangini Dias · 4 years, 9 months ago main master13ee3dc [sherlock][isp] Move ISP code out of MIPI CSI by Brijen Raval · 6 years agoc1cc7f0 [vfs] Plumb a hash table around to track koids of tokens by George Kulakowski · 6 years ago1d0fa40 [kernel] Check for nullptr after gfx_create_surface_from_display by Nick Maniscalco · 6 years ago9407e8b [kernel]
Genode - Genode Operating System Framework
We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software co
GitHub - Lucretia/tamp: The Ada Microkernel Project
The Ada Microkernel Project (TAMP) ------------------------------------------------------------------------------- Legal ------------------------------------------------------------------------------- Copyright © 2011-2012, Luke A. Guest & David Rees, All Rights Reserved. License is GPL v2 until further notice and is subject to change during development. -------------------------------------------
Nintendo Switch system software - Wikipedia
This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article's lead section may be too short to adequately summarize the key points. Please consider expanding the lead to provide an accessible overview of all important aspects of the article. (August 2023) Some of this article's listed sources may not
A reimplementation of NetBSD using a MicroKernel (part 1 of 2) – The Embedded Board
A reimplementation of NetBSD using a MicroKernel (part 1 of 2) by Andy Tanenbaum Based on the MINIX 3 microkernel, we have constructed a system that to the user looks a great deal like NetBSD. It uses pkgsrc, NetBSD headers and libraries, and passes over 80% of the KYUA tests). However, inside, the system is completely different. At the bottom is a small (about 13,000 lines of code) microkernel th
Muen | SK for x86/64
Muen is an Open Source separation kernel (SK) for the Intel x86/64 architecture that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by codelabs GmbH. Muen was designed specifically to meet the challenging requirements of high-assurance systems on the Intel x86/64 platform. To ensure Muen is suitable for highly critical systems and adv
L4Linux
L4Linux is a Linux kernel that has been adapted ("ported") to the L4Re APIs such that it runs as a user-level application on top of L4Re. You may call this virtualization or para-virtualization, however, with the broad existance of hardware support for virtualization, L4Linux remains to be useful for special-purpose use-cases as well as being a worderful learning tool for the Linux kernel, L4Re, m
マイクロカーネル上に仮想化LinuxとITRON擁するOSの開発 - 早大ら | エンタープライズ | マイコミジャーナル
早稲田大学理工学部 中島研究室と筑波大学大学院 追川研究室、エルミック・ウェスコムの3者は13日、組み込みシステムのセキュリティと信頼性の強化を実現する新しいOSアーキテクチャの共同開発に着手することを発表した。仕様は3者が協力して策定、プログラムの実開発はエルミック・エスコムが担当する。2007年3月に計画されている同プロジェクトの終了後には、成果物であるソースコードをオープンソース化する予定。 同プロジェクトで開発されるアーキテクチャは、1つのCPUマイクロカーネル上に仮想化したLinuxとITRONを実装することが特徴。複数の実効環境が独立して動作する構造により、アプリケーションやリソースをOSごとに分離、外部からの攻撃と内部で発生した不具合に耐える堅牢なシステムを構築できるほか、過去に各OS上で作成したアプリケーションやデバイスドライバなどの資産を生かせるため、開発効率の向上にも寄
LP49
マイクロカーネルとマルチサーバ構成による高信頼化／頑丈化 強固なガード、 Securty L4 - Pistachio は、ルートタスクしかスレッド生成、タスク生成ができない、 Pager しかスレッド起動をできないなどの制限を設けているので、 不正プログラムのガードなどを行いやすい。 Universal Federation 分散配置されたオブジェクトが、スムースに連係。 能動オブジェクトモデル。 Simple, Scalable, Secure component, , , Paperwareコンポーネントではなく、実働Softwareコンポーネント。 ２.88M Floppy の利用について (080909) Volunteerの植田様が、2.88M フロッピーを使えるようにして下さいました。 (Thanks to Mr. Y.Ueda) LP49-yymmdd.tar のトッ
About – HelenOS
HelenOS features in a single screenshot. The image depicts the HelenOS graphical user interface, networking, filesystems, and a multithreaded, multiprocessor 64-bit kernel in action. The Colorful Prague picture used in the screenshot is a courtesy of Miroslav Petrasko. HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key op
Genode - Genode Operating System Framework
We understand the complexity of code and policy as the most fundamental security problem shared by modern general-purpose operating systems. Because of high functional demands and dynamic workloads, however, this complexity cannot be avoided. But it can be organized. Genode is a novel OS architecture that is able to master complexity by applying a strict organizational structure to all software co
L4Ka
Microkernels are minimal but highly flexible kernels. Both conventional and non-classical operating systems can be built on top or adapted to run on top of them. Microkernel-based architectures should particularly support extensibility and customizability, robustness including reliability and fault tolerance, protection and security. After disastrous results in the early 90's, the microkernel appr
The L4 microkernel family
Site Navigation: Overview Developer's bibliography L4 implementations and docs Fiasco * Pistachio * L4/x86 other... Projects and applications using L4 DROPS * L4Linux * Mungi * Perseus * other... L3 Papers and reports What's new (* = offsite link) Search in L4 and Fiasco sites: Quick links: L4-Hackers list archive L4HQ NICTA/UNSW L4 website Back to the Operating Systems homepage Welcome to the L4
L4VM: Virtual Machine on L4 Microkernel
L4VMとはマイクロカーネル上で動作する仮想マシンのことです。 通常、1台のマシンには1つのオペレーティングシステムしか動作させることができませんが、L4VMを用いることで、複数のオペレーティングシステムを1台のマシン上に同時に動作させることができます。 L4VMはオープンソースソフトウェアであるQEMUのダイナミックトランスレーション技術を用いて実装を行っているため、 さまざまなCPUをエミュレーションすることが可能です。 例えば、x86アーキテクチャのCPUを搭載したマシン上でPowerPCやSPARCなどのCPUアーキテクチャ向けにコンパイルされたオペレーティングシステムを特に修正することなく動作させることができます。 L4VMは情報処理推進機構より支援を受け、2005年度上期未踏ソフトウェア創造事業のプロジェクトで開発されました。 "Dynamic Translator-b
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - seL4/seL4: The seL4 microkernel
GitHub - nebulet/nebulet: A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
GitHub - dexteryy/OzJS: A microkernel for modular javascript, a toolchain for modern front-end, a micro-framework for growable WebApp
バグフリーマイクロカーネルのseL4がバージョン7.0.0をリリース
http://www.python.org/pycon/2005/papers/64/
https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%B3%E3%83%89%E3%83%AA%E3%83%A5%E3%83%BC%E3%83%BB%E3%82%BF%E3%83%8D%E3%83%B3%E3%83%90%E3%82%A6%E3%83%A0%E3%81%A8%E3%83%AA%E3%83%BC%E3%83%8C%E3%82%B9%E3%83%BB%E3%83%88%E3%83%BC%E3%83%B4%E3%82%A1%E3%83%AB%E3%82%BA