「Writing an OS in 1,000 Lines」 というオンラインブックを書きました。ゼロから1,000行でOSを作るという内容です。 『自作OSで学ぶマイクロカーネルの設計と実装』 とは違い、最初の一歩の部分を重点的に解説しています。シンプルなモノリシックカーネル設計で、実装の解説だけでなくカーネルプログラミング特有の難しい部分、特に「カーネルをどうデバッグすれば良いか」をおさえた、初学者向きの内容になっています。 3日ほどあれば済むボリュームです。夏休みの自由研究がてら、ぜひチャレンジしてみてください。

Windows環境と共存可能なRTOS「RTX／RTX64」の生存戦略：リアルタイムOS列伝（26）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第26回は、多くの機器に採用されているWindows環境との共存が可能なRTOS「RTX／RTX64」を紹介する。 「RTX／RTX64」は、かなり特殊なリアルタイムOS（RTOS）である。どの辺が特殊かというと、x86／x64プラットフォームの上で動き、しかもWindows環境と共存するところである。こうしたRTOSは、他のケースで見たことは無い。 ⇒連載記事「リアルタイムOS列伝」バックナンバー 1980年の創業からCitrix買収を経て再独立 RTX／RTX64の開発元はIntervalZeroである（図1）

回答 (7件中の1件目) 大昔 FreeBSD 全盛時、たまたま隣でジンジャーエールを飲んでいたストールマンに聞いてみた。 「今後有力なOS はなんですか？」 「GNU Hurd が一番だね。Linux もなかなかいい線行っているよ。最近の OS は GNU ツールがないとカーネルのコンパイルもできない。GNU ツールが入っている OS は全て GNU OS だよ」 OS と一括りに言っても境界線をどこに設けるかによって変わります。新規の OS でも Linux や GNU の影響は残ると思います。

IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第18回は、カーネルやドライバをRustで記述することで、RTOSのレイテンシや安全性の問題をドラスチックにクリアした「Tock」を紹介する。 リアルタイムOS列伝、今回のお題は「Tock」である。開発したのは現在プリンストン大学の助教授で博士のAmit Levy氏である。このLevy氏、助教授業（？）の傍らで2011年にMemCachierという会社を創業しており、現在もここのCEOを務めている。この会社が扱っているのはキャッシュサーバのmemcachedを改良した製品だが、こちらとTockは関係がない。 ⇒連載記事「リアルタイムOS列伝」バックナンバー ms以内のレイテンシと安全性をRTOSで両立するにはどうすればいいのか To

アメリカのノキア・ベル研究所がC言語と共に開発し、macOSやLinuxの原型になったOSがUNIXです。そのUNIXを開発したチームが1980年代に、UNIXとは別に開発したOS「Plan 9 from Bell Labs」について、ベル研究所がオープンソースコミュニティのPlan 9 Foundationに著作権を譲渡したことを発表しました。 Plan 9 from Bell Labs in Cyberspace! - Nokia Bell Labs https://www.bell-labs.com/institute/blog/plan-9-bell-labs-cyberspace/ UNIXは世界で初めて高水準言語で設計された革命的なOSであり、さまざまなメインフレームやワークステーション、サーバーのOSとして使われ、インターネットとクラウドインフラストラクチャの基盤となりました

買収の果てにオープンソース化した「Micrium μC/OS」、実は使い勝手がいい!?：リアルタイムOS列伝（6）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第6回は、ミッションクリティカルな用途でも広く用いられている「Micrium μC/OS」を取り上げる。 「Micrium μC/OS」の話は、直近で言うとこちらの記事でご紹介させていただいた。簡単に振り返ると、もともとはJean J. Labrosse（ジーン・ラブロス）氏が1991年に独自に作り上げたリアルタイムOS（RTOS）である。当初の名前は「μC/OS」だったが、このμC/OSのソースコードを自身の著作である“μC/OS the Real-Time Kernel”の中で公開するという形で広

論文紹介：KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor

アマゾン買収から2年半、「Amazon FreeRTOS」は最も手頃なRTOSに：リアルタイムOS列伝（2）（1/3 ページ） IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第2回は、アマゾンの買収によってRTOSのメインストリームに躍り出た「Amazon FreeRTOS」について紹介する。 連載「リアルタイムOS列伝」の第2回、というかここ10年のリアルタイムOS（RTOS）の動向を概説した前回を除いて実質的な第1回になる今回は「Amazon FreeRTOS」をご紹介したい。 ⇒連載記事「リアルタイムOS列伝」バックナンバー Amazon FreeRTOSの話は、アマゾン（Amazon.com）による買収を受けてのこちらの記事で触れているが、簡単に説明すればもともとはリチ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 「Unikernelって知ってますか!?」という質問を日本で(というか海外でも)聞くとだいたい「知らない」と冷たい回答が返ってくるので、啓蒙活動の一環としてこの記事を書いてみることにしました。 サーバ仮想化用ハイパバイザの中の人のおしごとに就いて5年くらい経った頃、「次の面白いネタは何かなぁ」と探していたらフラッとUnikernelの話が一部の界隈で盛り上がり始めたのが2016年前半。 そこからずっと、「将来のコンピューティングスタイルを変えるのはUnikernelだね」と超個人的に熱い視線を注ぎ続けています。 Unikern

怒田さん*1のこの記事、「CとRustで一から作るマイクロカーネルOS」のおかげで、マイクロカーネルとRustが今ホットです。そこで、技術書典6, 7に出展したYabaitech.tokyoにて連載している、"Writing a (micro)kernel in Rust in 12 days"から、マイクロカーネルとL4についての話を書いた"1日目"の記事の一部冒頭を、いい機会なので再編集してご紹介します。「マイクロカーネルってタネンバウム教授とリーナスの論争のあれだよね？」とか、「L4ってなに？」って方に読んでいただいて、L4ファミリーとマイクロカーネルについて簡単にご紹介できればなと思います。 ちなみに抜粋元の上述の記事は、僕が怒田さんと同じようにRustでマイクロカーネルを書いてみよう、という趣旨の企画です。なので、Yabaitech.tokyoの方もよろしくお願いします！ただし、

マイクロカーネルは浪漫に溢れる非常に作りがいのあるソフトウェアです。この記事は，「マイクロカーネルベースのOSの一から作ってIaaSで動かす」ことを目標に作ったマイクロカーネルベースのOS Resea（りーせあ）の設計と実装について軽くまとめた物です。 ソースコードはGitHubにあります。 マイクロカーネルとは Linuxのようなモノリシックカーネルでは色んな機能がカーネル空間で動きますが，マイクロカーネルではユーザプロセスたちが互いに通信しながらOSを作り上げます。プロセス・スレッド・仮想メモリ管理，プロセス間通信，タイマーといった必要最低限の機能だけをカーネルが担います。デバイスドライバやファイルシステムといった残りの機能は，独立したユーザプロセスとして動きます。たとえデバイスドライバが暴走しても他のコンポーネントを壊すことはないのです。マイクロカーネルは信頼性が高く，疎結合で美しい

(See the English version here) Qubes4.0 on Lenovo X250 Qubes OSを、Lenovo Thinkpad X250にインストールしてみたので、ご報告。 2019年7月、ちょうどエドワード・スノーデンの自伝を訳し終えた。 prtimes.jp もちろんこういうのを読むとパラノイアになる。なんでもNSAの陰謀に思え、パソコンのカメラにはテープを貼る。一方で、パスワードマネージャを使ったり、メールをPGPで暗号化はしないまでも(だって受ける側が使ってないから)署名くらいはするようにした。 そして、スノーデンがこの本でも推奨しているQubes も見てみることにした。 Qubes のインストールガイドは、本家のドキュメンテーションも含め、ないわけじゃない。でもかなり専門的で特殊といえば特殊なOSで、いまのところインストールしようという人は、それ

中国Huaweiは8月9日、オープンソースの独自OS「HarmonyOS」を発表した。汎用性が高いOS機能のみを搭載する「マイクロカーネル」なOSで、スマートフォンやウェアラブルデバイスなどに採用する方針だ。 米政府によるHuaweiへの禁輸措置による影響で、Huaweiが今後発売するスマホなどでは、Google製のOS・Androidの更新が可能かどうか不透明な状況が続いている。 中国Global Timesの報道によると、Huawei Consumer Business Groupのリチャード・ユ・チェンドンCEOは、9日に開いた発表会で「Androidを利用できなくなった場合、必要に応じていつでも独自のOSを使える」と述べた。 関連記事 「Huawei問題」の本質は何か Huawei対米国の戦いはあまりに影響が大きい。どこが問題視されており、これからどのような影響が出るのか、論点を整

現代のコンピュータにおける 自作OS事情 2019-06-29 hikalium @ Hackers Champloo #hcmpl

お手製のCPUの上で自分で作ったOSを動かすというのは、割と夢のある行為だと思っていて、今回それを一定のレベルですることができたので、簡単に内容についてメモをしておこうと思います。 曖昧な日本語を読むより、プログラムを読むほうが速いと思う人は、駄文を読まずにGitHubを見てください。 https://github.com/moratorium08/osmium/ 僕が書いたのはOSだけで、コアはATPが書きました。また、乗算命令の実装はdaiが書きました。 https://github.com/hitohira/yokyo 概要 RustでフルスクラッチでRISC-V(rv32im)で動作するOSの実装をしました。OSを実装するにあたり、ページングやカーネルとユーザーモードでの権限切り分け、割り込みなどの仕様を考える必要があり、これもRISC-VのPrivilegeの仕様書に従ったものに

MS-DOS 2.0のソースコードが公開された 9月末にMS-DOS 2.0のソースコード（https://github.com/Microsoft/MS-DOS/tree/master/v2.0）が公開された。ここでは、ソースコードを見ながら、Windowsのパス区切り文字が、なぜ「\」（英語表示では逆スラッシュ）になったのかを考えてみる。 ただ、MS-DOSは8086のアセンブラで記述されているため、コードを説明するのではなく、必要な定義部分などを使って解説することにする。 まずは簡単にMS-DOSという名称について説明しておく。IBMがIBM PC用のOSとしてマイクロソフトに開発を依頼したため、IBM PC用のものはPC-DOSという名称であり、MS-DOSはIBM以外のメーカー用に使われた。この時点では、PC-DOSとMS-DOSはほぼ同一のものとしてよい。ここでは、すべてMS-

大人気の技術書オンリーの同人誌即売会「技術書典 5」が、2018/10/08（月・祝）に池袋サンシャインシティで開かれます。 秋葉原 UDX ではないのでご注意を！ 今回は「C++でできる！OS自作入門」を出しますので、そのお知らせです。 頒布情報 日時 2018 年 10 月 8 日（月・祝） 場所 池袋サンシャインシティ 2F 展示ホール D（文化会館ビル 2F） ブース お 05「bitnos」 bitnos のサークルページ 書名 C++でできる！OS自作入門 bitnos ブースでは既刊 3 種類も展示します。 ページ数 52（表紙含む） 概要 この同人誌は OS を書いてみたいと思っている方に、記述言語として C++ を選んでもらうための本です。 世にある自作 OS の本は C 言語で書いてあるものが多いですが、機能が豊富な C++ も有力な選択肢であることをお伝えするのが目標

いつも弊社製品をご利用いただきまして誠にありがとうございます。 Windowsプラットフォーム サポートの加藤です。 昨今、情報漏えい対策の一環として多くのお問い合わせをいただいておりますグループ ポリシーを使用してリムーバブル デバイスを制御する方法についてご紹介させていただきます。 グループ ポリシーを使用してリムーバブル デバイスを制御する方法は大きく分けると以下の 2 点の方法がございます。 - グループ ポリシーを使用してリムーバブル デバイスのアクセスを制御する方法 本項ではこちらの方法についてご紹介させていただきます。 - グループ ポリシーを使用してリムーバブル デバイスのインストールを制御する方法 こちらにつきましては以下のページでご紹介させていただいております。 『グループ ポリシーを用いた WPD デバイスの制限について』 https://blogs.technet.

インテルx86マシンの奥深くでは人知れず「MINIX 3」が動作しており、脆弱性を作り出している。Googleらはそれを排除しようとしている インテルのx86プロセッサを用いたシステムでは、その奥深くで人知れずMINIX 3を含む2つほどのカーネルがプロセッサ上で稼働しているOSとは別に作動しており、それが脆弱性を作り出しているとGoogleのエンジニアらが警告し、それを取り除こうという動きを見せています。 それが、10月23日から26日までチェコ共和国のプラハで行われたOpen Source Summit EuropeでGoogleのRonald Minnich氏のセッション「Replace Your Exploit-Ridden Firmware with Linux」（脆弱性にまみれたファームウェアをLinuxで置き換える）のセッションで説明されたことでした。 これを、海外のメディア