QSOE: QNXにインスパイアされたデュアルカーネルアーキテクチャOS

QSOEプロジェクトv0.1リリース リンクを取得 Facebook X Pinterest メール その他のアプリ 2026年6月20日 最初のQSOEリリース、v0.1が公開されました。これは、両方のカーネルバリアント、ブートローダー、ユーザー空間、およびlibcを単一の番号付きドロップにバンドルしており、以下のコンポーネントで構成されています。 - カスタムカーネル「Skimmer」を搭載したQSOE/N v0.17。 - seL4バージョン15と連携するQSOE/L v0.14。 - Multiboot 3、RISC-V Linuxスタイルのカーネル、およびEFIスタブを持つカーネルをサポートするGRUB派生のブートローダー、mr-bml v0.5.1。 - mkshベースのシェル（qsh）を提供するquser v0.5。 - libc v0.6。 これら2つのバリアントは、境界の上で同じユーザー空間を共有しています。quser、qsh、およびlibcは同一であり、カーネルごとにtaskmanとlibc.soのみが異なります。この共通のユーザー空間がまさにポイントなのです。2つの非常に異なるマイクロカーネル上で1つのQNX互換環境を提供することです。 このリリースの背後にあるマイルストーンはQSOE/L側にあります。SiFive Unmatched (FU740)上でNVMeストレージからインタラクティブなログインシェルに起動するようになりました。マウントされたディスクから最初のプログラムを生成する際に、2つのデッドロックが露呈しました。taskmanが生成イメージの読み取りをブロックしている間に、読み取りチェーンのウェイクがそれを通じてルーティングされていたため、Sync*スローパスとデバイス割り込みパルスは現在カーネル直結となり、taskmanをウェイクパスから完全に排除しました。QSOE/N (v0.17)は既に自身のファイルシステムからインタラクティブなqshを生成しているため、両方のバリアントがFU740上でシェルに到達できるようになりました。 ソースはGitLab（gitlab.com/qsoe）でApache-2.0ライセンスの下に公開されています。バイナリとドキュメントはGitHubでホストされており、ダウンロードとインストール手順はプロジェクトウェブサイト（qsoe.net）に掲載されています。 QSOE リンクを取得 Facebook X Pinterest メール その他のアプリ コメント コメントを投稿 QSOEが始まった経緯 2026年5月26日 4月1日のこと、QRV — QNXのRISC-Vへの移植 — の作業は本格化していました。その数週間前、私はQNX Software SystemsとBlackBerryに対し、2007年から2009年の歴史的なQNX NeutrinoのソースをApache 2.0の下で再ライセンスするよう求める公開請願を立ち上げていました。この頃、ある考えが頭に浮かびました。「完全に無視される可能性が本当にある。」私にはプランBが必要でした。L4マイクロカーネルは長い間私の心の片隅にありました。2000年代初頭に、そのさまざまな実装 — 奇妙な名前（Hazelnut、Pistachio）のものや、ドレスデンのグループの面白い名前のFiasco — とともに初めて読みました。その人たちには約10年前に直接会いました。それ以来、L4のことを考え続けるのをやめたことはありませんでした。L4Linuxやその他についても知っていました。そしてseL4について知ったとき、特に興味を持ちました。seL4の作者たちがしたことは、今でも私には真に斬新なアプローチとして映ります。機能的な正しさの機械検証済み証明を持つ真のマイクロカーネル...続きを読む 無料のQNXライクなオペレーティングシステム（2003年） 2026年6月21日 2003年8月7日付けのcomp.os.qnxニュースグループにおける私の古い投稿に出くわしました。件名は「無料のQNXライクなオペレーティングシステム」で、その下でRadiOSを発表しました。これは、マイクロカーネルとタスクマネージャーが完全にNASMアセンブリで書かれた、x86向けの無料のQNX互換マイクロカーネルOSを構築するための趣味の取り組みでした。その頃までに、必要なシステムコールの約70%がlibcの一部、コンソールリソースマネージャー、およびATA/IDEドライバーとともに整備されていましたが、ファイルシステムマネージャーはまだありませんでした。その投稿は、誰かハッキングを手伝ってくれる人がいるかと尋ね、「73!」で締めくくられていました。スレッドはこちらです: https://groups.google.com/g/comp.os.qnx/c/srdvVoik37M 全体像は、古いSourceForgeページ（radios.sf.net）に残っています。RadiOSはQNX Neutrino 6.1とのシステムコール互換性を目標とし、そのタスクマネージャーはQNXプロセスマネージャーのメッセージ形式を模倣し、そのlibcはQNX 6.1のコードから派生していました。2004年中頃までに、約45,000行に達し、そのほとんどがNASMで書かれていました...続きを読む