NetBSD その18

**いちおう立てとく** · 2006/10/25(水) 22:35:12

``Of course it runs NetBSD.''
＿ノ⌒ゝ
＼　　´-ヽ
　＼ノ⌒ヽ
　NetBSD
　　　　＼
http://www.netbsd.org/

前スレ
NetBSD その18
http://pc8.2ch.net/test/read.cgi/unix/1157272177/

お約束、関連リンク、心の公式ロゴは>>2-10あたり

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 20:49:03

ftpのツリー構成がわかりにくい、ってのは大昔から言われてるしねえ。
いまさら変えちゃうとミラーしてるところが大変なんだろうけど、
解説を用意しようという動きもない?

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 21:19:17

君が解説を書いてみてはどうだい?

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 21:44:36

え? わかりにくいかなぁ? そんなこと思ったことないけど。よそはわかりやすいの? たとえば?

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 21:45:08

いやいやここは困って訊いて教えてもらった>>187が書いてsend-prでしょ

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 21:53:01

>>190みたいな人ばかりなので変わらないわけだが。
-currentとリリースとでソースのtar ballの固め方が違うとか
ディレクトリ名がsrcだったりsourceだったりとか？
わからんという人がいるのは確かだが、よそのことなんざ知らん。

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 22:03:20

> -currentとリリースとでソースのtar ballの固め方が違うとか
> ディレクトリ名がsrcだったりsourceだったりとか？
? そんなの違ったって別にわかりにくかないだろ。いらんもんが置いてあるとかなら
ともかく。あまり直す必然性を感じないけど。

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 22:20:52

pub/NetBSD/archやpub/NetBSD/miscはいらんもんではないのね

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 23:47:33

misc は misc なんだからそれで正しいだろ。arch の下は... なんでそんなとこ見るん?
経緯知ってないと間違うんかなぁ..

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 23:55:38

一見さんお断り、ということなら別にそれでいいけど。
NetBSDを擁護したいのは構わんが贔屓の引き倒しには
気をつけたほうがいいよ。

**名無しさん＠お腹いっぱい。** · 2006/11/03(金) 23:58:18

こんなもんを贔屓の引き倒しとは、こりゃまた大上段なご意見で。
で、misc と arch がなくなって、パスに整合性がありゃいい、って結論? それだけ?

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:00:44

>>197
整合性なければ解説くらい欲しいって意見でそ。
解説欲しいリスト出して、wikiかどっかに貼っておけば？
誰か書いてくれるでしょ。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:04:37

まあ、言う通りに直したってまた文句いってくるやつもいるからね、
そこは考慮しとかないと。
いや、>>196 がそうだとは言ってないよ、言ってない言ってないww

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:23:45

kernel.orgみたいなサイトがあれば超ラクチンなのにな。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:30:47

>>198
俺にはわかりやすいんだからわかりにくいと言う奴の方がおかしい
って奴だから何を言ったって無駄。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:31:59

俺にはわかりにくいんだからわかりやすいと言う奴の方がおかしい
って奴だから何を言ったって無駄。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:33:00

実際>>184はわからんかったんでしょ。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:40:30

どういう風に?

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:45:48

そりゃ本人にきかないとわからんが、
「カーネルソースってどこにあるの？」
って質問に対して「ココを読め」って言える説明がないからじゃないの。
つーわけで>>198に同意。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 00:59:37

あっそう参考になったよ。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 08:46:39

ソースに関してはNetBSDの方が俺には見つけやすいけどなあ。
Linuxのgitのリポジトリも、cvsweb よりずい分見づらい気がする。
Linuxの場合、古いバージョンの履歴が全然残ってないのも痛い。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 08:58:30

src/sys/の中のどこに何があるのという話ならそうかもしれないが
そもそもsrcがどこにあるのって話はまた別ですな。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 10:14:20

xbox360 に netbsd を移植する計画は無いのですか？

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 11:01:06

想像や幻想はあるかもしれませんが、見通しのない計画を立てる人はいないでしょう。

PS2 Linuxのようにユーザ作成の実行ファイルをロードする環境が提供されて
かつハードの仕様がソースのような形で出てくればまた状況は変わるけど、
Microsoftがそんなものを出すとは思えないし。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 13:19:17

PS3 は、商品で Linux が出る（出た?）んだよね?

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 13:38:02

GP2X どうよ?
SD カードと USB2 付きだから結構いろいろできそう。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 22:43:53

まあ、想像しているうちが(略

実際問題としてコンソール用シリアルの線は中からむりやり引っ張り出すとして、
後は内蔵FLASH以外のところからカーネル読んで特権モードで実行できるかどうか
だと思うが。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 00:34:53

GP2Xは既にlinuxが動いてんだからそれほど難しくはないだろ。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 00:40:20

だからいわゆるブートローダ問題なんだが。
動くものを書くのは可能でも実行させられなきゃ意味なし。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:21:33

一回 Linux 上げてから Linux にカーネルロードさせるやつって、いくつか
あったんじゃなかった?
なんでそんなに動かないことにしたいの?
「自分はこんなにすごいことやったんだから、まずはオレを評価しろ」って意味か?

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:37:10

想像を膨らますのもいいけど現実的な計画と調査がないと想像だけで終わるよ
ってだけだが。

「Linuxを上げてからLinuxにカーネルロードさせるやつ」
がGP2Xの標準のカーネルに入ってるのであれば問題ないが、
想像してても仕方がない。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:43:16

Negative Thinking Man. なぜあなたはそんな風に考えるようになったの?（悲しい目）

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:45:20

あいにく行動せずに想像してるだけでお腹いっぱいになったことないもんで。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:47:59

で、まわりにそういう人間いる? 自分が変だ、って思わない?

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:50:05

ソラージ統合の人みたいにどうよ？ってここで聞いてまわってる人はいるね。
お腹いっぱいかどうかは知らないけど。

夢は与えられるもんじゃなくて自分で掴むもんだよね。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:53:49

そういう風に考える人がいることは別にそう変じゃないかも知れないけど、
いちいちここで番してて、わざわざそういうこと言って、変だと思わない?

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 01:53:59

夢は置いといて現実問題としてhpcmipsもdreamcastも如何にカーネルをロードさせるか
というところから始まったわけで、同じことを考える必要があるってだけだが。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 03:02:25

自作kernelのロードなんて余裕でできるし、そもそも最初からユーザに
プログラム自由に作ってね、っていう、そういうコンセプトのハードなんだけど?

http://wiki.gp2x.org/wiki/Building_a_Custom_Kernel

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 03:06:29

どうよ？って言うから現実的手順を言っただけだけど、
そういうことなら後は自分ががんばるだけですね。

それを自分には無理だと決めつけるのはほんとのnegative thinkingだけど。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 07:39:18

かつての若人たちも、みな歳を取ったということさ…

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 10:56:39

誰か移植してオラをすっげーワクワクさせてくれ、ってことなら
ここで言うのも海に向かってお願いするのも変わらないと思うよ。

BSDがソースつきで出てきた当初はみんな無条件にワクワクした
んだろうけど、UNIXカーネルと言えども所詮はプログラムだから
さすがに10年も経つとSF宇宙旅行を想像するみたいなワクワク感
はもう残ってないでしょ。あるのはエンジニア的にどう設計して
どう書いてどう動かしてどう検証するか、ってことだけでそれは
それで面白いとは思うんだけど、そういう方面に引かれる若者が
少ないって話? 日エレの編集後記にもあったけど、ソフト自体が
面白いんじゃなくて、ソフトを使って目的のモノを動かすことが
ほんとは楽しいんだよね。

つーわけで、そんな話はどうでもよくて、3.1と3.0.2出たよsage

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 12:21:22

そんなほんとに余計なお世話をここに書くほうがよっぽど意味ないって。
まさにその嘆き、愚痴については海でたのむよ。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 13:17:20

>>227
>>84

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 14:04:06

>>229
俺のが先だってか。
tag打たれた日とアナウンス流れた日は同じじゃないんだからいいじゃん。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 14:17:48

>>228
他人に頼らず自分で好きなように楽しめばいいじゃんってだけでしょ。
それが余計なお世話というのならそれまでだが、現実が述べられてる
だけなのにそれを Negative だの愚痴だの嘆きだの言われるとよっぽど
希望のない毎日を送ってるのかと心配になるな。ま、がんばってくれ。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 18:24:13

なんでそんなひがみ癖がついちゃんたんだか。カウンセリングしてもらいな。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 21:56:50

自分でやる気がないとすると、どうよ？って結局何が聞きたかったのかよくわからんけど
　オレが最初に提案したから実現したんだぜ、
と後で自己満足するための布石？

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 22:05:11

だれもお前にやってくれとはたのんどらん。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 22:38:57

ほかの誰かに頼んでるの？ますますわからん。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 23:31:47

出てくんな、って意味だな普通。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 23:36:08

最初からスルー力発揮すれば良かった？そりゃ失礼。

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 23:49:14

力とカを区別する良い方法はありませんか?

**名無しさん＠お腹いっぱい。** · 2006/11/05(日) 23:53:08

形が同じ文字はUnicodeで同じコードにしちゃえ、とか

**名無しさん＠お腹いっぱい。** · 2006/11/06(月) 00:21:35

海って何?つうかどこ?
教えてくりゃれ

**名無しさん＠お腹いっぱい。** · 2006/11/06(月) 02:34:06

おまえの心のなか。

**名無しさん＠お腹いっぱい。** · 2006/11/08(水) 01:17:57

netbsdの話が聞きたいの

**名無しさん＠お腹いっぱい。** · 2006/11/08(水) 03:13:32

ちょっと訊きますが、結局 Slmodem は動く様になったのですか？

**名無しさん＠お腹いっぱい。** · 2006/11/09(木) 14:35:13

去年あたりの動きそうってとこから話をきいてないな。
試してみたら？

**名無しさん＠お腹いっぱい。** · 2006/11/09(木) 21:38:01

pkgsrcでのbin-installターゲットに今日初めて気付いた俺、、、orz
こんな、神ターゲットが在ったとは！！！

**名無しさん＠お腹いっぱい。** · 2006/11/10(金) 15:25:13

手持ちの i386 のカーネル定義ファイル、GENERIC 1.792 -> 1.794 相当の
変更を加えてカーネルコンパイルした。

options I386_CPU, MATH_EMULATE なし
makeoptions COPTS="-march=i486 -mtune-pentiumpro" 追加

あと、rum (Ralink) が追加。それに TMPFS, UDF を有効にした。

そしたら、カーネルのサイズが 2.6MB 増えたww ついに 10MB 突破おめでとー
.....って、増えすぎじゃねー?

**名無しさん＠お腹いっぱい。** · 2006/11/10(金) 21:25:18

COPTS="-march=i486 -mtune-pentiumpro -O2"
or
CPUFLAGS=""-march=i486 -mtune-pentiumpro

**名無しさん＠お腹いっぱい。** · 2006/11/10(金) 22:52:09

tlsワロs

**名無しさん＠お腹いっぱい。** · 2006/11/11(土) 03:41:12

>>247
それでコンパイルしたらちょうど 2MB 減ったw 9MB 弱。

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 02:58:51

zaurusキター

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 03:05:04

流石の NetBSD も slmodem は無理難題だった見たいですね。

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 04:19:01

>>245
そのネタいただき！

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 21:56:21

NetBSD/i386のGENERICがi386のPCで動かないとはこれいかに

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 22:04:43

>>250
どこにキタ？

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 22:13:40

ハスカップだったとこ

**名無しさん＠お腹いっぱい。** · 2006/11/12(日) 23:07:28

>>253
i386 軍団全体で本家 80386 使ってる箱が一般的じゃなくなったってことだろ。

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 00:23:51

まあ FreeBSD みたいに完全に削られちまったわけじゃないし。＞ i386

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 01:47:44

ついでに古臭いデバイスも削除とか
ついでにi386から改名するとか
ついでにarch整理するとか

ないか

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 01:50:38

イヤミを込めて thepc とかw

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 01:56:08

theopcに空目

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 02:02:18

>>257
FreeBSD は 80386 見限ったの? やるなーw
ちなみにウチの AMD 製 386SX ののった母板はハンダ付けされてる CMOS 用の
電池から電解液流出しててたぶんもう使えないww
あ、そういや 386SX なノート PC も持ってたw あれは動くかもww

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 02:31:28

男は黙ってJ3100 Dynabook

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 02:59:52

FreeBSDはとっくの昔にi386を見限ってる。
GENERICから外されI386_CPUを定義して再構築しなきゃ
いけなくなり(もちろんi386自身でセルフ開発できない)、
今ではI386_CPUの為のコード自体、絶滅してる。

i386はFPUが外付で、PICも外付で、FPU系命令が例外
でなく割込み処理に成ってしまう上、APICじゃないので
SMP出来ない。更にSSE用リソースのコンテキスト
スイッチも考慮すると、もうグチャグチャに成る。
そもそもi8259って元々Pentiumどころかi8086ですらなく
i8080用周辺ペリフェラルだったのを使い回してるだけ
なので、もう忘れても良いかと…。

ただGeodeのローエンドとか、組込向けi386はいまだに
i386なので動かなかったりして、不幸だ。

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 03:11:46

m68010サポートはm68020より後に追加されてますが

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 03:31:35

うーん、あんまり切る理由にはなってないと思うけど。
SMP できない、とか。なんのこっちゃ。

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 08:27:47

FreeBSDのことはどうでもいいが、options I386_CPUをつけると
グチャグチャの関係かどうかは知らんが遅くなるようなので、
配布バイナリで比べるとNetBSDはFreeBSDやLinuxと比べて遅い、
って言われるのが嫌なんでしょ。DIAGNOSTICはずしたのと同じ。

**名無しさん＠お腹いっぱい。** · 2006/11/13(月) 10:22:22

うん、GENERIC をチューンするってのはいいと思うね。
実は ALL ってあって、ちゃんとメンテされてるんだね。知らなかった。

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 03:56:11

よろしくチューニング

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 13:09:17

>>263
geodeのローエンドってどれ？

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 13:21:44

よぉし、じゃ、おじさん 286 もうごかしちゃうぞぉw

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 20:24:12

>>266
たとえばMediaGXでも486として扱っても問題ないわけだけど。

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 22:06:28

>>271
だから?

**名無しさん＠お腹いっぱい。** · 2006/11/14(火) 23:58:07

options I386_CPUがつくとI386専用の特別ルーチンが入るけど
I486_CPU以上も同時についていればCPU判定の条件分岐が一つ
余計に入るだけでI486以上のマシンでI386用のルーチンが使われる
ということではないようだから言うほど遅くはならない気もするな。

gcc -march=i486での486以降専用命令のほうが効くのか?

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 01:57:19

>>263
こっちだ
MediaGXでもi486でいけるけどi386じゃないとだめなローエンドのGeodeってどれ？

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 02:34:19

Geodeは知らんけどNexGen586はCPUCLASS_386になってるな。
386相当というよりはI486_CPUの機能の一部を欠いている
ということだろうけど。

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 05:28:12

あのう前のスレで割り込みに関係で質問した者なんですけど、
スレ違いですけど、OS板はレベルの高い技術者があまりいないのでまた質問させていただいてもよろしいでしょうか?
内容はマイクロカーネルについてで、
ウィキペディアに
純粋なマイクロカーネルでは、まずカーネル空間で提供される機能を、メモリ空間の仮想化、プロセス制御、プロセス間通信に限定し、
割り込みなども全て通信にマップする。その上でファイルシステムやデバイスドライバといった準カーネル機能をそれらのアプリケーションとして実装し、
ユーザー空間で動作させる。場合によってはそれらの機能セットをサーバと呼ばれる単位で複数動作させる。
と有るんですけど、「割り込みなども全て通信にマップする」と言う表現がいまいちピンときません。
x86の設計上割り込みが起きるとIDTの設定に従って、割り込みハンドラが呼ばれますよねぇ。
モノリシックカーネルがカーネル内の割り込みハンドラを呼ぶとしたら、
マイクロカーネルはこの割り込みハンドラがカーネルと違うセグメント属性で実装されているという理解でよいのでしょうか?

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 05:38:14

すいません、間違えました。
マイクロカーネルはこの割り込みハンドラがカーネルと違うセグメント属性で実装されているという理解でよいのでしょうか?
ではなく
マイクロカーネルはこの割り込みハンドラがカーネルと違うセグメントで実装されているという理解でよいのでしょうか?
に訂正させて下さい。

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 10:18:26

割り込みそのものをカーネル外サービスで捕捉するんじゃなくて、
割り込みに対するサービスをカーネル外で受け持つって理解ならあってると思うけど。
「セグメント」ってどういう意味で使ってるかわかんないので定義すべしw

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 20:02:53

>>272
そのネタいただき！

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 20:17:37

> OS板はレベルの高い技術者があまりいないので
わざとかどうか知らないけど、そんな無礼な態度だから
相手してもらえてないんじゃないの？

だいたいまじめに勉強する気があるのなら適当な教科書を探すとか
マイコンのマニュアルを確認するとか実際のソースを見てみるとか
安易に他人に答え聞く前に自分でやるべきことあるんじゃないの？
聞けば教えてもらえる、と思ってるようじゃ大学院なんぞ行っても
不幸になるだけだよ。

普通は割り込みかかったらCPUは特権モードに移行すると思うけど。
その後どうするかは>>278の言うように実装次第でしょ。

**名無しさん＠お腹いっぱい。** · 2006/11/15(水) 23:50:11

>>278 280
すいません、荒らしみたいな質問して。
回答本当に有り難うございます。
じつはOS板でも質問したのですが、
「そんな質問この板の住人に答えられるわけがないじゃないか」
と言われてしまって・・・
OSの設計と実装と言う本、高いので欲しいんですけどまだ買えないんです。
で、今ある知識でマイクロカーネルってこんな風になっているのかなぁと想像してたんです。
どうも有り難うございました。

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 00:44:01

いまどきマイクロカーネルもアレという気もするが。
Mach, Hurd, MkLinux くらい？

お金ないなら図書館とか古本とかあるでしょ。
ttp://www.bookcyber.net/basket/detail.cgi?key=4563013331
↑こんなのとか。

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 01:03:35

アマゾンでUNIXカーネル内部解析のユーズド出てるね。
ttp://www.amazon.co.jp/gp/product/4890529306/
ぼったくり価格だけど。

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 01:09:01

>>282
L4を忘れちゃいやーん。
あと exokernel とか

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 01:12:57

>>281
英語を勉強すれば、原典の論文がタダで読めるよ。
知ってる専門用語は多いだろうし、難しい構文もたいして使われてないから、
英語新聞とか読むよりはだいぶ簡単。

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 01:22:33

BSD なんで Lites... って本家なくなってるしw
RT-Mach で Lites 使ってるらしい。
ttp://info.isl.ntt.co.jp/rtmach/intro-j.html
あと Utah になんかあるぞ。
ttp://www.cs.utah.edu/flux/lites/html/
...って古いかw

Lites 上げるのは簡単だった覚えがあるけど... 最近のハードウェアはダメかなぁ。

**名無しさん＠お腹いっぱい。** · 2006/11/16(木) 01:25:17

>>281
用語の理解もまだまだみたいだし、最初はいわゆる教科書じゃないと
いきなり論文は日本語でもつらいと思うな。英語だとますますわからん。
そういう方向性でのマイクロカーネルの解説なんてそもそも存在するのか
というとあるとも思えないが。

とりあえず Mach, Hurd はこのへん? Lites のページは消滅みたいね。
ttp://www.cs.utah.edu/flux/mach4/html/Mach4-proj.html
ttp://www.gnu.org/software/hurd/hurd.html

MKNGなんてのもあったなぁ。
ttp://www.mkg.sfc.keio.ac.jp/welcome/index-j.html