microkernelに関するmasterqのブックマーク (16)
-
masterq 2021/04/16
-
-
技術書典8 『マイクロカーネルの設計と実装』
@uchan_nosさんのお誘いを受けて，「マイクロカーネル」をまとめた本を書きました。技術書典 応援祭（サークル紹介ページはここ）で頒布します。 著名なオープンソースのマイクロカーネルたち（L4やMINIX3など）と拙作のReseaの実装（バージョン0.1.0）を交えながら，細かすぎて伝わらないマイクロカーネルの設計・実装のポイントを解説しています。 マイクロカーネルのサーベイ論文のようなものとしてご活用ください。 電子版のダウンロード 電子版はこちらからダウンロードできます（無料） 書籍版の入手 書籍版はBOOTHで頒布してます（3月上旬入荷予定） Reseaのソースコード GitHubで公開しています
-
-
-
Google's Fuchsia OS confirmed to have Android app support via Android Runtime
Fuchsia Google’s Fuchsia OS confirmed to have Android app support via Android Runtime We’ve long suspected that Google’s upcoming operating system, Fuchsia, would join the ranks of Chrome OS (and Android) in its support for Android apps. Today, that suspicion has been confirmed by a new change found in the Android Open Source Project, and we can say with confidence that Fuchsia will be capable of
-
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
-
-
-
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
-
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
-
-
-
Microkernels - The component-based operating systems
Microkernels are operating systems that outsource the traditional operating system functionality to ordinary user processes while providing them with mechanisms requisite for implementing it. Microkernel-based operating systems come in many different flavours, each having a distinctive set of goals, features and approaches. Some of the most often cited reasons for structuring the system as a micro
-
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
-
1
公式Twitter
- @HatenaBookmark
リリース、障害情報などのサービスのお知らせ
- @hatebu
最新の人気エントリーの配信
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
