やっとこさ hurd に戻れる予感がするわけですが、予想以上に L4 → Coyotos transition が素早く完了したので今さら L4 弄るのもなーという感じがする。L4.sec も L4.X2 に EROS 的機構を持ち込んたもののようだし。 400 を超える投稿が溜ってる hurd/l4 mail…

遊びすぎた。 パズルとか編入書類のごたごたとかばっかりやってて、wortel がエラー吐くとこからぜーんぜん進んでないよ。いや、っていうか各種 (Hurd にあんまり関係ない) 論文も読んでたわけですが。

脱線が止まらない人達 おくじ 『私はもう飽きたし、時間を浪費しているだけだと思ったので、もう説得するのはやめました。言いたいことがあったら、どんどん言ってやってください。』 と言われたものの、何を言うか考えてるうちに下火になってきた…のか? 週…

[独り言] Coyotos への移行 自分の頭の中を dump するといつでも偉そうな事を主観的に bias 全開で書くことになりますな。まあいいやそのための日記だし。 で、本気で移行するかという話が出ている。まあ議論を読みながら「そういう話は何で出ないの?」とか…

今週末はちょっと体調崩してあんまり進められなかった。脊椎の歪みが酷くなって座ってるのが辛い…このところ背筋をサボってたからだ。ちなみに歪んでるのは生まれつき。それはそれとして、Hurd/L4 ちょっとでも読もうさ。wortel を読む。うーん、comment 中…

この 2 週間程で、結構な量の email が飛び交った。どれもこれも非常に良く勉強になりますた。お蔭で "capability で security を構築する" ということのイメージがはっきり湧くようになってきた。まだ把握しきれてはいないので、Shapiro 先生に御教授願っと…

一日中読んでました。半日か。前半寝てたし。未読投稿数 79 て。 でも一時的にも活気が戻ったみたいで嬉しい。この後も私が質問とか投げまくるとある程度は持続できるのかな? 尤もこういう抽象的な議論ばっかり続くのも困るわけですが。 ということで再び覚…

面白い。面白い。ぶへへ、何か理解が進んできたぞ。「VFS を namespace にして translator を設置して…」という話と capability との間の関係が具体的にイメージできるようになってきた。確かにこれは Unix とは全然違う (もっと共通部分が大きいと思ってた)…

Matthew Lemerre が「Marcus の LSM talk に基づいた cap framework 作ったよん」だって。Libcap を見る限り、API もできてなさそげだったし、device driver はひとまず無理ですな。それにこっちの方が面白そうだからこっちやろうっと。

とりあえず driver の辺りを見てみることに。Deva/fabrica proposal と POSIX driver interface proposal があって、どっちがいいの悪いのという話が夏に出てたはず。両方見て toy implementation ぐらい書いてみるか。 と思ったけど、physmem の動作を調べ…

おくじさんに「どんどん書いたらいいよ」と言われて自問したけど、やっぱり Hurd が弄りたい。Hurd を書こう。 というわけでとりあえず source を読み漁る…ったのは夕方の話。春に読んだときと違ってずいぶんすんなり頭に入って来る。どうしたことだ。焦りみ…

昨日の Hurd の記事に反応があった。私に向けたもんではないけれど。てっきり見にこられる/たのは最初だけかと思ってましたが。これ見て、この日記のどこにも名前書いてない事に気づいた。遅ぇ。名前は井上です。だから「丼(上)」日記。気分で(上)は省略。ど…