ブログを引っ越すことにしました。新ブログは https://utshina.hatenablog.jp/ です。 主に研究分野（OSや仮想化、セキュリティなどのシステムソフトウェア）に関することを記述します。 品川研究室 のホームページもよろしくお願いします。

mruby を Loadable Kernel Module (LKM) として Linux カーネル内動作させて printk する方法をメモしておきます。1年以上前に書きかけていたものを完成させたので、mrubyのバージョンが古いです。最近のバージョンだとどうなるのかは分かりません。 mruby …

UEFI アプリケーションを作成するためのツールキットには、EDK II や gnu-efi などがあります。しかし、EDK II は複雑すぎて中身の構造が分かりにくく、とっつきにくい印象があります。また、gnu-efi は wrapper 経由で関数を呼び出さなければならないなど、…

OSやシステムソフトウェアをメイントピックとする著名な国際会議を４つ紹介します。 SOSP OSDI EuroSys USENIX ATC SOSP (ACM Symposium on Operating Systems Principles) 概要 OSやシステムソフトウェアの分野における世界最高峰の国際会議。名称は "Opera…