zircon - Git at Google
5cd705e Deprecate obsolete repository by Renato Mangini Dias · 3 years, 3 months ago main master13ee3dc [sherlock][isp] Move ISP code out of MIPI CSI by Brijen Raval · 4 years, 10 months agoc1cc7f0 [vfs] Plumb a hash table around to track koids of tokens by George Kulakowski · 4 years, 10 months ago1d0fa40 [kernel] Check for nullptr after gfx_create_surface_from_display by Nick Maniscalco · 4 year
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 - nebulet/nebulet: A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Nebulet is a Google Summer of Code project started during the summer of 2018. More details about Nebulet and GSoC are here. Under the hood, Nebulet is a microkernel that executes WebAssembly modules in ring 0 and a single address space to increase performance. This allows for low context-switch overhead, syscalls just being function calls, and exotic optimizations that simply would not be possible
GitHub - dexteryy/OzJS: A microkernel for modular javascript, a toolchain for modern front-end, a micro-framework for growable WebApp
OzJS Project OzJS is NOT yet another script loader, but a microkernel that provides sorely-missing module mechanism at runtime (that means it mainly works at language-level, not file-level. Use Ozma.js to process files statically at build time based on the same mechanism) for large/complex javascript program, compatible with the de facto standards (AMD, NodeJS/CommonJS and traditional module patte
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
The Nintendo Switch system software (also known by its codename Horizon)[3] is an updatable firmware and operating system used by the Nintendo Switch video game console. It is based on a proprietary microkernel. The UI includes a HOME screen, consisting of the top bar, the screenshot viewer ("Album") Icons, and shortcuts to the Nintendo eShop, News, and Settings. Technology[edit] OS[edit] Nintendo
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, sound subsystem 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 d
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
バグフリーマイクロカーネルの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