@uchan_nosさんのお誘いを受けて，「マイクロカーネル」をまとめた本を書きました。技術書典 応援祭（サークル紹介ページはここ）で頒布します。 著名なオープンソースのマイクロカーネルたち（L4やMINIX3など）と拙作のReseaの実装（バージョン0.1.0）を交えながら，細かすぎて伝わらないマイクロカーネルの設計・実装のポイントを解説しています。 マイクロカーネルのサーベイ論文のようなものとしてご活用ください。 電子版のダウンロード 電子版はこちらからダウンロードできます（無料） 書籍版の入手 書籍版はBOOTHで頒布してます（3月上旬入荷予定） Reseaのソースコード GitHubで公開しています
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
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
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
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
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 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 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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く