インテルx86マシンの奥深くでは人知れず「MINIX 3」が動作しており、脆弱性を作り出している。Googleらはそれを排除しようとしている － Publickey
インテル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で置き換える）のセッションで説明されたことでした。 これを、海外のメディア
(本文書はAndrew S. Tanenbaum教授の許可をいただいて島慶一が翻訳しました。) MINIXの30年の歴史から学んだこと (原題: Lessons learned from 30 years of Minix) 著者: Andrew S. Tanenbaum (収録: Communications of the ACM, Vol. 59 No. 3, March 2016, Pages 70-78) Linuxのことはみなさんよくご存知だと思いますが、その直接の祖先であるMINIXも齢三十を迎え、古参のソフトウェアとしてはまだまだ元気にやっています。MINIXの生い立ち、またMINIXやLinuxの始まりの物語はあまり知られておらず、だからこそMINIXの開発から多少なりとも学ぶべきことがあるのではないかと思うのです。これからお話しすることには、オペレーティングシステム特有の
アンドリュー・タネンバウム教授といえば、「MINIX」というUNIXに似た学習目的のOSの開発者の一人で、このMINIXとタネンバウム教授の著書「オペレーティングシステム 設計と実装」に刺激を受けて、リーナス・トーバルズ氏がLinuxを開発し始めたと言われています。 そのタネンバウム教授へのインタビューが、フランスのWebサイト「LinuxFR.org」に掲載されていました。MINIXの最新動向、なぜLinuxがこれだけ普及したのか、そしてトーバルズ氏と論争になったといわれているマイクロカーネルについて、興味深い答えが引き出されています。一部を訳してみました。 MINIXではNetBSD互換に取り組んでいる MINIXはもともとOSの構造などを学ぶための教育目的に、コンパクトでソースコードがすべて公開されたソフトウェアとして開発されました。コンパクトな作りやマイクロカーネルといった特徴は維
Minix3
What Is MINIX 3? MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a number of isolated, protected, processes in user mode. It runs on x86 and ARM CPUs, is compatible with NetBSD, and runs thousands of NetBSD packages. Get MINIX 3 now and jo
MINIX 3.3がリリース。1万2700行ほどのマイクロカーネル、ARMサポートとクロスコンパイラなど対応 MINIXは名前から想像できるとおり、LinuxやBSDなどと並ぶUNIX系OSの1つで、もともとはオランダ・アムステルダム自由大学のアンドリュー・タネンバウム教授が学習用のOSとして開発したものです。名前の通りコンパクトな実装や、マイクロカーネルを採用した、いわゆる綺麗なアーキテクチャを備えていることも特長です。 そのMINIXの最新バージョンとなるMINIX 3.3が公開されました。 ARMプロセッサ対応、NetBSD互換性向上など 最新バージョンでもコンパクトな実装とマイクロカーネルアーキテクチャはそのままで、カーネルのコードや約1万2700行。カーネル以外のOSのコードは分離されたユーザーランドで実行されており、例えば実行中にドライバがクラッシュしたとしても自動的に再起動さ
MINIXを作った男 － ＠IT自分戦略研究所
本連載を初めて読む人へ：先行き不透明な時代をITエンジニアとして生き抜くためには、何が必要なのでしょうか。それを学ぶ1つの手段として、わたしたちはIT業界で活躍してきた人々の偉業を知ることが有効だと考えます。本連載では、IT業界を切り開いた117人の先駆者たちの姿を紹介します。普段は触れる機会の少ないIT業界の歴史を知り、より誇りを持って仕事に取り組む一助としていただければ幸いです。（編集部） 本連載は、2002年 ソフトバンク パブリッシング（現ソフトバンク クリエイティブ）刊行の書籍『IT業界の開拓者たち』を、著者である脇英世氏の許可を得て転載しており、内容は当時のものです。 アンドリュー・タネンバウム（Andrew S. Tanenbaum）―― vrije大学数学計算機科学科教授 後にMINIX（ミニックス）というOSを開発することになるアンドリュー・タネンバウムは、1941年にニ
最近のIntelのx86プロセッサには、CPUとは独立した遠隔管理システムである「Management Engine」が搭載されている。このシステムはネットワークインターフェイスと直結されており、PCが停止した状態でも管理操作を行えるようになっているのだが、ここでUNIX系のOS「MINIX」が使われているという（NETWORKWORLD）。 MINIXといえば、開発者のAndrew Tanenbaum氏とLinuxの開発者であるLinus Torvalds氏との議論が有名だが、現在はBSDライセンスで提供されており、商用利用も可能となっている。 Intelプロセッサに組み込まれているMINIXはPCのOSとは別の権限で動作しているとはいえ、PCの全コンポーネントにアクセスが可能になっているとのこと。また、外部からのアップデートは不可能だ。そのため、Googleなどはこの機能を無効にしたい
MINIX - Wikipedia
MINIX（ミニックス）とは、1987年にオランダ・アムステルダム自由大学（蘭: Vrije Universiteit Amsterdam）の教授であるアンドリュー・タネンバウムが、オペレーティングシステム(OS) の教育用に執筆した著書、『Operating Systems: Design and Implementation』の中で例として開発した、Unix系のオペレーティングシステム (OS) である。Minixの名は"mini-Unix"から。 歴史[編集] UNIXのソースコードがAT&Tのライセンス変更により非公開になったため、OSの教材用にUNIX version 7の互換システムを再設計したものである。UNIX互換だが AT&T のコードは1行も使用していないので、AT&Tのライセンスには縛られない[1][2]。機能上の新しさはないが、マイクロカーネル構造を採用するなど、モ
Minix3
What Is MINIX 3? MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a number of isolated, protected, processes in user mode. It runs on x86 and ARM CPUs, is compatible with NetBSD, and runs thousands of NetBSD packages. Get MINIX 3 now and jo
タネンバウム教授の言ってることも分からないでもないんだけどね。 「モノシリックなカーネルはカーネル内部を食い破られたらアウト、危ないんだぜ」っていうことだから。 例えばメールサーバなんかを見てみると分かるけど、昔ながらの単一ソフトウェアで動く 多機能なメールサーバ、sendmailを動かすのってユーザにとってはホント大変だった。 設計のマズさもあるんだろうけど、処理が複雑で、設定もそれに合わせたように複雑で、 ぶっちゃけ常人には理解できない世界。あれをきっちり設定できるってのは、もはや特殊技能だよね。 ところがこれに対し、DJBの作った分散処理のqmailが出現したことで 「機能分割して分散処理する方法も使える、よりセキュアに設計できる」ということが周知の事実となって、 後のpostfixなんかの開発へとつながっていく。現在はこっちの分散型のほうが主流だよね。 メールの処理に関してはこうい
オペレーティングシステム「MINIX」は、2014年の9月16日に公開された「Minix 3.3.0」を最後に更新が途絶えている。公式サイトの最後のニュースは、2016年3月10日に更新されたMINIXCon 2016に関するもので終わっている。このため、MINIXの開発は事実上停止したと思われる（OSnews、Hackaday）。 OSnewsの記事によれば、MINIXの作成者であるAndy Tanenbaum氏も2014年にアムステルダム自由大学から退職しており、プロジェクトを引き継ぐものもおらず、大学からの資金や人材もなくなったため、開発は停滞することになったのだという。ただしMINIX自体はIntelプロセッサの一部に使われているIntel Management Engine上に組み込まれ、今でも使われ続けている。ただし、IntelのMINIXのソースコードは非公開であり、一般には
What is MINIX? The most popular OS in the world, thanks to Intel
You might not know it, but inside your Intel system, you have an operating system running in addition to your main OS that is raising eyebrows and concerns. It's called MINNIX. Take a look at your desktop computer. What operating system is it currently running? Now take a look in your data center — at all of your servers. What operating system are they running? Linux? Microsoft Windows? Mac OS X?
MINIX 3は近年になって開発が加速して、中身はMINIX 4といってもいいほど変わっている。 しかしドキュメントが追い付いておらず、何が新しくなったかもよくわからない状態が続いている。 大きな変更点だけでも、思い出しただけ書き出してみた。 ACK以外にgccとClangでmake worldできるようになりました。 ELF化しました。 NetBSD userlandで徐々に置き換えているのでコマンド構文もNetBSD-likeに変わりました。 procfsを導入しました。 Virtual Addressを導入しました。 SMPに対応しました。 RS(Reincarnation Server)で、死んだドライバも即座に再起動できます。 SEF(System Event Framework)で、システムを止めずに状態も保ったままでドライバを差し替えできます。 currentは内部構造がしょ
MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. 2月29日(オランダ時間)、MINIX 3.2が公開された。MINIXは、アムステルダム自由大学教授のAndrew S. Tanenbaum氏が開発したマイクロカーネルを採用するUNIXライクなOS。BSDライセンスのもとオープンソースで開発されており、無償で利用可能となっている。MINIX 3.2のイメージファイルはこちらよりダウンロードできる。 MINIXは、Linux開発のきっかけとなったOSだが、BSDライセンスやPOSIX準拠のNetBSDユーザランド、シェルスクリプトとしてashを採用している点などBSD系OSに近い。近年、NetBSDの機能を意欲的に移植しており、昨年オラン
蘭フリイエ大学でコンピュータサイエンスを担当するAndrew S. Tanenbaum教授は24日(現地時間)、UNIXライクなOSの最新版「MINIX 3」をリリースした。メジャーバージョンアップは、1996年にリリースされたMINIX 2.0以来約9年ぶり。 MINIX 3のインストールに必要なCD-ROMイメージファイルは約10MB、BSDライセンスのもと無償提供される。動作には、Intel 386以降のCPUと4MB以上のRAM、空き容量が100MB以上のハードディスクとCD-ROMドライブを装備したマシンが必要。VMwareやBochs、QEMUなどのエミュレータもサポートされているため、Mac OS XやLinuxなど他のOS上で仮想マシンとして動作させることもできる。 MINIX 3は、おおまかには前バージョンのMINIX 2に基づいているものの、カーネルなど基盤を構成するプ
MINIX 3.3.0登場
MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. Andrew S. Tanenbaum氏およびMINIX3開発チームは9月16日、「Minix 3.3.0」においてMINIXの最新版となる「MINIX 3.3.0」の公開を伝えた。「MINIX 3.3.0」は商用利用も想定した堅い作りのオペレーティングシステム。BSDライセンスのもとで提供されており、商用利用においても個人利用においても無償で利用できる。 「MINIX 3.3.0」の主な特徴は次のとおり。 マイクロカーネルベース(12,700行ほど)。カーネルモードで動作するのは割り込み処理、メッセージパッシングのみで、それ以外はユーザランドプロセス デバイスドライバもそれぞれユーザラ
1987年にオランダ・アムステルダム自由大学の教授、アンドリュー・タネンバウム氏が開発を始めたオペレーティングシステム「Minix」。現在も、教育用のオペレーティングシステムとして「Minix 3」の開発が継続していますが、一般の知名度は、LinuxやWindows、macOSなどと比較すると圧倒的に低いのが現実です。 ところがこの常識を覆す記事、「MINIX — The most popular OS in the world, thanks to Intel」が公開され注目を集めています(Reddit)。 記事によると、ここ数年のIntelのCPUには、Management Engineと呼ばれる機能が埋め込まれていて、そこでユーザーがインストールする通常のOSとは全く別に、この「Minix」が動作しているとのこと。すなわちIntelのCPUを利用しているユーザーは、知らないうちにMi
さくらVPSでMINIX3 - Plan9日記
KVMベースのさくらVPSがあちこちで話題になっている。月額980円という値段やブラウザから利用できるコントロールパネルの出来具合もさることながら、KVMベースなので自分好みのOSをインストールできるところがマニア受けもしているようだ。社長自らがブログで「FreeBSDのインストール方法」を公開している。では、Plan 9も行けるのではと思ったのだけど、Grubからの起動やUSB bootableなディスクイメージが作れるかという点が不安だったので、まずはMINIX3で試してみた（その方向性はいかがなものかというツッコミは置いておいて）。 まず問題になるのがインストーラをどうやって起動するかだ。Linux distroならGrubから直接インストール用のカーネルとinitrdイメージを指定すればインストーラが起動するだろうが、そもそもMINIXやPlan 9はELFじゃないのでこの方法は無
11月、Googleの研究者がIntel Management Engine(ME)の潜在的な脆弱性の問題を指摘、Intelが再度MEのセキュリティ評価をしたところ脆弱性が明らかとなり、現在、メーカーなどが独自に対策を打ち出しているという。このIntel MEに、新たな問題が持ち上がっている。 今年の4月、Intel MEバージョン11以降で、Minix 3 OSがインストールされていることを示す文字列があることが発見された。しかし、Minix 3は派生物の再配布の際にライセンス表示などを行う必要のあるBSDライセンスを採用しているにも関わらず、Intelはそのライセンス表示を行っていない。このため著作権侵害に当たるとしている（IPWatchdog、Slashdot）。 また、Intelは管理エンジンの内部を秘密にしたいため、バイナリを難読化したとの指摘もある。解析にはMinix開発者であ
前回のエントリ「mvコマンド の “mv: will not overwrite just-created” メッセージ」を書いていて少々思い出したことがあるので、覚えているうちに書き留めておくことにする。正確な年が思い出せない/わからないので誰か覚えてたら教えて欲しい。 パソコン通信時代、アスキーネット pcs にハマっていたころ、pcsのHypernotesのようなシステムを草の根BBSに持って来れないか? と考えた。1990年ごろの話。当時、私は友人が運営していた「BBSてだこ」という草の根BBSを手伝っていた。 そのころのBBSてだこはMS-DOS(+Turbo Pascal)上のWWIVというソフトで動いていたんだけど、電話回線は1本しか使えず、機能も不足していて、不便になりつつあった。当時の草の根BBSは電話回線1本のところが多く、どこも混雑していた。テレホーダイもない時代なの
細かいことはおいといて、8086 向けのバイナリとして MINIX という OS が持っている yes コマンドをとりあえず動かすことができました。OS とかは省略して、ともかくこのバイナリを解釈して 8086 に命令を飛ばして動かしただけですが、自分としては大きな一歩です。文字を書き出すところの write system call はそのまま実行元の OS の system call を呼び出しています。 riywo/go8086 https://showterm.io/6ddbd0ae8018f9ba7434d#fast なお、@7shi さんのこちらの記事とコードを丸パクリしたようなものですので、@7shi さんには頭が上がりません。大感謝。 i8086 のインタプリタで MINIX のコマンドを動かす – 七誌の開発日記 type/interface 設計 逆アセンブラを作るだけな
タレコもうとトップページを翻訳してたら、先を越されてしまいました orz もったいないのでここにポストしちゃいます。おかしなとこあったらdiffでもつけてください^^; MINIX 3 は、高い信頼性とセキュリティを実現するためにデザインされた新しいオープンソース・オペレーティング・システムです。 多少は以前のバージョンのMINIXをベースにしていますが、多くの重要なところで根本的に違っています。 MINIX 1と2は教育用ツールを意図していました。MINIX 3は限られたリソースや組み込み用途のコンピュータ、そして高い信頼性が要求されるアプリケーションに使えることを新しいゴールとして設定しました。 この新しいOSは、カーネルモード部で走るものは4000行未満の実行コードという、極めて小さいものです。ユーザーモードで走る部分は小さなモジュールに分割されており、他のものからきちんと隔離されて
オランダのアンドリュー・S・タネンバウム教授によって、1980年代後半（1987年頃）に開発されたUNIXライクなOS。 大学の講義（オペレーティングシステムの設計と実装）の教材として、フルスクラッチ（ゼロから）開発されたものである。（ユーティリティーコマンドの開発には、周囲の助力もあったようだ） 開発の背景には、それまで教材として利用できた正統UNIXのソースコードが、AT&Tのライセンス戦略のため参照できなくなったという事情があった。 フルスクラッチから書き起こされたMINIXはこのライセンスに抵触しないため、Cコンパイラを除いた全てのソースコードを安価に提供することができたが、これは当時としては画期的なことであった。 システムコールはUNIX V7に準拠している。 これはV7がケン・トンプソンとデニス・リッチーが手掛けた最後の版であり、単純かつ首尾一貫していてエレガントだと開発者が考
Buried deep inside your computer's Intel chip is the MINIX operating system and a software stack, which includes networking and a web server. It's slow, hard to get at, and insecure as insecure can be. Intel Core i9: It's not whether you need 12 cores, but whether you'll pay for them The processor market is heating up once again, with AMD and Intel back to having "core and speed" wars. But if the
MINIX 2事始め - 七誌の開発日記
16bitのx86コードに触れたくなりました。そこでMINIX 2に目を付けました。 MINIX 2は16bitと32bitの両方に対応しています。16bitの方は80286のプロテクトモードを使用しているためリアルモードではありません。カーネルではなくユーザープログラムの動きを追いたいので、ユーザーだけを見ている限りはリアルモードとの違いは少ないのではないかと予想しています。詳しいことは触りながら調べてみる予定です。 入手 ダウンロードからリンクされているPrevious Versionsから入手できます。 Intel-2.0.4.tar.bz2 展開すると、中には更にアーカイブが入っています。そこからバイナリやソースが入手できます。16bitに関連するファイルを挙げます。 i86/USR.TAZ /usr以下に展開されるバイナリ src/SYS.TAZ カーネルやlibcなどのソース
カーネル／VM Advent Calendar15日目: 今のMinixってどんな感じなのかな。 - φ(・・*)ゞ ｳｰﾝ カーネルとか弄ったりのメモ
この記事はカーネル／VM Advent Calendarの15日目の記事です。 Sorry, this article is written in Japanese さて、Minixと言えば教育用のOSとして有名だと思うのですが（教科書「オペレーティングシステム 設計と実装」とかで）、現在も開発は続いており、SCMにgitを使って行われています。リポジトリもmasterブランチの他にジャーナリングファイルシステムを開発しているブランチなんかもありました。今回は今のMinixがオペレーティングシステム第3版からどの程度変わったかを見てみたいと思います。といっても自分が把握できた部分だけなので見逃し等はすみません＞＜ ＊コードは2011/12/8時点のマスターブランチから取得したものを見ています まずはkernelディレクトリから見てみましょう。ここは名前の通りカーネルのコードがあるディレクト
~nabeken/diary/ : Dual GbEの付いたMini-ITXな MINIX H61M-USB に OpenBSD 4.9 を入れてPCルータを作った
UPDATE: セクション番号修正、PPPoE failoverの部分を移動、その他微修正 (Wed, 7 Sep 2011 09:32:35 +0900) 初稿 (Tue, 6 Sep 2011 20:24:38 +0900) ことのはじまり 2011年7月29日(金)の午前2時ごろ、当ネットワークのサーバ側セグメントのPCルータが ハードウェア障害を起こし、全サービスが停止しました。 (実際にはメール、DNS、LDAPは海外のVPSでセカンダリを動かしていたので全滅ではなかった) 予め取得していたUSBメモリのディスクイメージを新規USBメモリに流し込み、 手元の余っていたノートパソコンへ刺して代替機として発送、交換し復旧しました。 使用していたハードウェアは私が始めて組んだマシンで、ちょうど10年経過したところです。 よく働いてくれました。 該当箇所は冗長化しておらず、ハードウェア交
What would you like to see most in minix? - Google Groups
Google グループでは、オンライン フォーラムやメール ベースのグループを作成したり、こうしたフォーラムやグループに参加したりすることで、大勢のユーザーと情報の共有やディスカッションを行うことができます。
MINIX is dead – OSnews
Way back in 2006, to celebrate the introdiction of MINIX 3, Andy Tanenbaum, the operating system’s legendary creator, published an introduction article to the new version here on OSNews. I’ve followed along with development ever since, with the last item we ever posted dating from 2015. Over the weekend, a link to the MINIX 3 git repository made the rounds, noting that the last change is dated 14
超ヲタク向けV20 4〜8MHzのBook8088を買ってレトロゲームを遊んでみた。PC-98VMよりちょい遅。CFでHDD内蔵かつWindwos3.0使えるがスペック低くFDD無いから当時のゲーム遊びにくい。ELKSやMinix動いた。素人お断り
マニア向けBook8088です。素人は後継機のPocket386を買いましょう。しくしく。殆どゲームしか動かないです。和ゲー殆どなし。x86も386以降のゲーム多いので動かないのが多数。FDD保存ゲームもNG。なかなかコアなマシンですが、ハッカーには人気という謎マシン。「Ctrl」キーが動かないバグはちょっとキツイですが・・・
MacBookユーザーは要チェック！ SSDとハブ機能が合体した「Minix Neo Storage Pro」 | Techable(テッカブル)
Start Up MacBookユーザーは要チェック！ SSDとハブ機能が合体した「Minix Neo Storage Pro」 MacBook Air/Pro愛用者でストレージを確保したい、外付けアクセサリーを頻繁に使うという人に、強力なツールが間もなく登場する。 ハブ機能を備えるオールインワンタイプのポータブルSSD「Minix Neo Storage Pro」だ。 ・MacBookと一体化Minix Neo Storage ProはMacBook Air/Proの側面にある2つのUSB-Cポートに差し込んで使う。平らなデザインでMacBookと一体化させることができる。 まずストレージとしては容量480GBを備える。MacBookのストレージが圧迫気味の人、あるいはデータを一箇所に集約したい、データの受け渡しをしたい場合にあると便利だ。 読み込み、書き込み共に速度は400MB/sと速
最初のUnixはC言語で書かれた、と聞きます (正確にはB言語) 。では、C言語はOSなしでコンパイルできたのですか？それともそのCは何らかのOS (頓挫したMINIX) で走らせたのでしょうか？
回答 (11件中の1件目) UnixはPDP-7用のOSとしてアセンブリ言語で書かれました。 ケン・トンプソンはMulticsのプロジェクトでスペーストラベルというゲームを作って遊んでいましたが、ベル研がMulticsから撤退してしまったため遊べなくなり、スペーストラベル・ロスに陥っていました。そこで研究所内で放置されていたPDP-7にスペーストラベルを移植することにしました。 当初はGECOS上のクロスアセンブラで書かれましたが、ビルドする度に紙テープに出力して、PDP-7に読ませないといけませんでしたので、これではやってられないということで、OSらしきものが最低限動作するようにな...
Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
OS を理解するために，MINIX を使ってみましょう．インストール・ソースプログラム閲覧などについての説明をしています． Minix とは，オランダ・アムステルダム大学のアンドリュー・タネンバウム（Andrew S. Tannenbaum）教授が開発した学習・研究目的のUNIX互換OS (オペレーティング・システム) です．OS の動作を知るよい機会なので，ぜひインストールして使ってみましょう．本講義で使う MINIX のバージョンは 2.0 です．質問・苦情は， 山本研究室 までメールをください． インストール ハードディスク ハードディスクにインストールする場合を紹介します．詳しくはここにセットアップマニュアルがあります． MINIX 公式サイトから最新版の CDイメージをダウンロードします．現時点 (2006/4/18) の最新版のイメー ジはここ (MINIX3.1.1) か ら
2004年度 卒業論文 組み込み向けMINIXの プロセス管理に関する研究 提出日 平成17年 2月 2日 指導 中島 達夫 教授 早稲田大学 理工学部 情報学科 学籍番号 1g01p080-3 氏名 花岡 健介 目 次 第 1 �
2004年度 卒業論文 組み込み向けMINIXの プロセス管理に関する研究 提出日 平成17年 2月 2日 指導 中島 達夫 教授 早稲田大学 理工学部 情報学科 学籍番号 1g01p080-3 氏名 花岡 健介 目 次 第 1 章 序論 1 1.1 背景 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 目的 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.3 論文の構成 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 第 2 章 ARM 3 2.1 ARM の概要 . . . . . . . . . . . . . . . . . . .
GitHub - xem/minix86: x86 (MS-DOS) documentation, disassembler and emulator - WIP
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
H_2O project: L4minix Page
Yet another L4minix comes out !! We now have 2 implementations of L4minix: "L4minix-s" and "L4minix-e". Please visit : those who want design/implement their own OS, those who want study and/or modify actual OSs, those who want a suitable OS for embeded systems, control systems, those who want study how to use L4, ...... L4minix-s ... New ... L4minix-s is a straight porting of Minix on the L4-k
Releases/3.3.0 - Minix Wiki
MINIX Release 3.3.0 Release date: September 16, 2014 Documentation UsersGuide DevelopersGuide Release Notes New features The first release with ARM support, three Beagle targets ($45 boards with lots of features and power! More info on specs & where to buy on the beagle site) are supported - build a complete SD card image from scratch using just our source tree and a single shell script invocati
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
MINIXの30年の歴史から学んだこと
タネンバウム教授、MINIXの失敗とLinux普及の理由を語る － Publickey
MINIX 3.3がリリース。1万2700行ほどのマイクロカーネル、ARMサポートとクロスコンパイラなど対応
IntelのプロセッサにはMINIXが入っている | スラド
Amazon.co.jp: オペレーティングシステム 第2版: 設計と理論およびMINIXによる実装: A.S.タネンバウム (著), A.S.ウッドハル (著), 千輝順子 (翻訳): 本
Tanenbaum教授「MINIX3はWindowsよりもLinuxよりもセキュアになる」 | スラド IT
MINIXはもう死んでいる？ | スラド
あのタネンバウム教授、MINIXとその近況を語る | スラド Linux
NetBSDの技術を取り込んだ「MINIX 3.2.0」が登場
PC-UNIXの先駆者、MINIXがメジャーバージョンアップ | エンタープライズ | マイコミジャーナル
世界でもっともポピュラーなOSは「MINIX」だった？ | ソフトアンテナ
Minixを使用していると言われているIntel ME、BSDライセンス違反の疑い | スラド
Hypernotes と MINIX (ascii-net pcs と BBSてだこ) | ず＠沖縄
Golangの8086実装でとりあえずMINIXのyesコマンドが動いた - As a Futurist...
MINIXの新バージョン3がリリース | スラド
MINIXとは コンピュータの人気・最新記事を集めました - はてな
MINIX: Intel's hidden in-chip operating system
[PDF]Lessons Learned from 30 Years of MINIX? Andrew S. Tanenbaum, Vrije Universiteit
WindowsやLinuxより安全なOSになることを約束するMINIX 3
MINIX — Yamamoto Lab. Web Site