retrage.github.io

Creating Custom Gemini Commands in Project IDX

Tue, 17 Sep 2024 17:00:00 +0900

Translated by Gemini

Project IDX is an experimental development environment provided by Google that can be accessed via a web browser. Built on top of VS Code, one of its key features is the integration of Gemini for development assistance.

In this article, we will introduce a method we’ve discovered to create custom Gemini commands in Project IDX, which is not documented in the official documentation.

Gemini Integration in Project IDX

In Project IDX, Gemini can be used to generate code, provide explanations, and more, similar to GitHub Copilot. While this functionality is integrated into Project IDX, it’s actually implemented as an extension plugin. Like regular VS Code extensions, Gemini plugin logs can be found at the following path:

Project IDXでカスタムのGeminiコマンドを作る方法を見つけた

Tue, 17 Sep 2024 17:00:00 +0900

著者: @retrage @benevolent0505

Project IDXとは、Googleが実験的に提供している、Webブラウザから利用できる開発環境である。VSCodeをベースとしており、Geminiを使った開発支援機能が統合されているのが売りの一つとなっている。

ARM64でptraceより2000倍以上速いシステムコールフック作った

Wed, 31 Jul 2024 17:53:45 +0900

元ネタ: https://yasukata.hatenablog.com/entry/2021/10/14/145642

せっかちな人向け

ARM64向けの高速なシステムコールフックを作った
マイクロベンチマークではptraceの2000倍以上、seccompの140倍程度高速
コードはこちら: https://github.com/retrage/svc-hook

zpolineとは

USENIX ATC 2023において、zpolineというx86/Linux向けの高速なシステムコールフックが提案された[1]。これは、binary rewritingで2バイトの命令である syscallやsysenterを同じ2バイト命令であるcallq *%raxに置き換えた上で0x0のアドレスにトランポリンを設置する、というものである。

今年の振り返り

Sun, 31 Dec 2023 21:39:31 +0900

今年もそろそろ終わりそうなので、何やったかを振り返ってみる。

aarch64 Support for Rust Hypervisor Firmware

~1月 Rust Hypervisor Firmwareはいままでx86_64でしか動かなかったが、Cloud Hypervisorがaarch64も対応するようになったので、aarch64の勉強も兼ねて実装した。去年の夏にPoCとして実装して、最終的に今年の1月にマージされた。すでにCIに組み込まれており、少しずつ改善のPRをもらいつつ、ある程度安定して動くようになった。ちなみに、このaarch64対応を入れるためにマルチアーキテクチャ対応をした。これにより、その後RISC-V対応も比較的少ない労力で入るようになった。

OSはどうやってP-coreとE-coreを使い分けているのか

Sun, 20 Aug 2023 10:54:56 +0000

Alder Lake以降のIntel CPUでは、P-coreとE-coreの2種類のコアが搭載されている。 P-coreは性能重視、E-coreは省電力重視という位置づけで、OSがうまくこれらのコアを使い分けることで、消費電力と性能の両立が図られている。ここまでの話は広く知られているが、実際にどのようにしてOSに対してコアの使い分けをさせているのかの実装レベルでの解説は (少なくとも日本語では) ほぼ存在しないようなので調べてみた。

VisionFive 2をJTAGデバッグ

Sat, 25 Mar 2023 07:34:56 +0000

VisionFive 2 (以下、VF2) はStarFive Technologyが開発したSBCである。名前からわかるように、RISC-VのSoCを搭載している。ここではVF2をJTAGデバッグする方法を簡単にまとめる。

2022年にやったこと

Sat, 31 Dec 2022 11:54:56 +0000

https://twitter.com/retrage/status/1608981455182651392

こういう不安を感じたので、心の安寧を取り戻すために今月と今年に何をやったのかをまとめてみる。なお、自分の中で「取り組んでいることを話題にすると完成しなくなる」ジンクスがあるので、いまやっていることはここでは書かない。

Allwinner NezhaにJTAGで接続する

Sun, 16 Jan 2022 04:14:19 +0000

Allwinner NezhaはD1という64-bit RISC-VなSoCが載ったSBCである。Linuxがちゃんと動くRISC-Vマシンとしてはかなり安価なため一部で人気がある。ここではこれにJTAGで接続してみた話をメモ程度に書いておく。なお、今回は接続してOpenOCDで認識できた程度でその先のGDBでのデバッグはできていない。

Apple File Systemの下にはEFI driverが埋まっている

Sat, 18 Sep 2021 17:41:01 +0000

Apple File Systemの下にはEFI driverが埋まっている

Apple File System (APFS)はAppleが自社製品向けに開発したファイルシステムである．APFSの仕様は公開されており以下で参照できる．

9pfsPkg: Network Boot from Bell Labs

Sat, 01 Aug 2020 16:15:51 +0000

I developed a Plan 9 file system (9P) client for UEFI to enable network booting from a commodity 9P server. By leveraging the simplicity and flexibility of 9P, the UEFI can do network boot from cloud storage without any effort. This blog post gives you a brief overview of 9pfsPkg.

The source code, introduction slides, and presentation video are available at:

What is Network Boot?

Network boot is a boot method which loading boot images over the network. To make this possible, the BIOS has its network stack. There are two methods for network booting: PXE Boot and HTTP Boot.

UEFI向け9P File Systemを作ってクラウドからネットワークブートできるようにした

Mon, 15 Jun 2020 18:37:23 +0000

UEFI向け9P File Systemを実装した．これにより9Pサーバからネットワークブートができるようになった．さらにFUSEと組み合わせることで少ない労力で9Pサーバ経由でクラウドからネットワークブートができるようになった．

Linux Kernel Library Nabla Containers Internals

Mon, 11 May 2020 18:51:01 +0000

This post describes the design and implementation of Linux Kernel Library Nabla Containers (LKL Nabla), Linux based unikernels as processes. The previous post introduces LKL Nabla and provides how to build and run. Since most of the unikernel work is done by frankenlibc LKL/musl, mainly focus on frankenlibc Solo5 port in this post.

You can find LKL Nabla code at:

Modifications to runnc

Before diving into frankenlibc code, let’s take a look at the modifications to runnc.

EDK2におけるDebugPrintErrorLevel

Wed, 06 May 2020 11:23:20 +0000

EDK2のコードにはDebugPrint()が多く埋め込まれている．この関数は第一引数にErrorLevelをとり，ビルド時に与えるPcdDebugPrintErrorLevelを変えることによりデバッグ出力を制御できる．この値は*.dscに以下のような記述をすることで設定できる．

Porting Linux to Nabla Containers

Sat, 18 Apr 2020 17:10:13 +0000

This is an introduction of Linux Kernel Library ported to Nabla Containers.

runnc is an OCI runtime that runs process-level isolated unikernels. It is built on the top of Solo5, a sandbox for unikernels, and several unikernels (MirageOS, IncludeOS, Rumprun) run on it. The original runnc uses Rumprun, a NetBSD based unikernel. However, as Docker is started from Linux, it is needed to have system call level compatibility with Linux. Therefore, I ported Linux Kernel Library (LKL) and musl libc to Solo5 and put together with runnc.

ccov: printfデバッグを支援するツール

Wed, 04 Mar 2020 19:23:37 +0000

ここではコードカバレッジ計測を元にしたprintfデバッグ支援ツールであるccovを作ったので紹介する．

コードは以下で公開している．

https://github.com/retrage/ccov

gcov, llvm-covなどはコードカバレッジを測定できるツールである．これらは基本的にOS上で動き，簡単にコンパイラを入れ替えたりログを生成できること前提としている．一方でOSや組み込みの開発ではデバッガが利用できずprintfデバッグをせざるを得ない場合がある．

Debugging OVMF with GDB

Thu, 05 Dec 2019 17:26:19 +0000

In this blog post, I will describe how to debug OVMF using GDB without any special tool unlike another post[1].

Code Mapping in UEFI

On x64 UEFI, it provides flat single address memory space and place the firmware itself and UEFI images on the space without any memory protection. In this way, we can do source code level debugging any UEFI code with debugger. On OVMF, each feature is modularized and the module is loaded as UEFI image. BootServices is included in DxeCore.efi, loaded at boot time.

EFI_STATUSの値

Tue, 26 Nov 2019 09:40:56 +0000

毎回EFI_STATUSの値を調べるのが手間なのでここでまとめておく．

TL;DR

EFI_STATUS	Value (64-bit)
EFI_SUCCESS	0x0
EFI_LOAD_ERROR	0x8000000000000001
EFI_INVALID_PARAMETER	0x8000000000000002
EFI_UNSUPPORTED	0x8000000000000003
EFI_BAD_BUFFER_SIZE	0x8000000000000004
EFI_BUFFER_TOO_SMALL	0x8000000000000005
EFI_NOT_READY	0x8000000000000006
EFI_DEVICE_ERROR	0x8000000000000007
EFI_WRITE_PROTECTED	0x8000000000000008
EFI_OUT_OF_RESOURCES	0x8000000000000009
EFI_VOLUME_CORRUPTED	0x800000000000000a
EFI_VOLUME_FULL	0x800000000000000b
EFI_NO_MEDIA	0x800000000000000c
EFI_MEDIA_CHANGED	0x800000000000000d
EFI_NOT_FOUND	0x800000000000000e
EFI_ACCESS_DENIED	0x800000000000000f
EFI_NO_RESPONSE	0x8000000000000010
EFI_NO_MAPPING	0x8000000000000011
EFI_TIMEOUT	0x8000000000000012
EFI_NOT_STARTED	0x8000000000000013
EFI_ALREADY_STARTED	0x8000000000000014
EFI_ABORTED	0x8000000000000015
EFI_ICMP_ERROR	0x8000000000000016
EFI_TFTP_ERROR	0x8000000000000017
EFI_PROTOCOL_ERROR	0x8000000000000018
EFI_INCOMPATIBLE_VERSION	0x8000000000000019
EFI_SECURITY_VIOLATION	0x800000000000001a
EFI_CRC_ERROR	0x800000000000001b
EFI_END_OF_MEDIA	0x800000000000001c
EFI_END_OF_FILE	0x800000000000001f
EFI_INVALID_LANGUAGE	0x8000000000000020
EFI_COMPROMISED_DATA	0x8000000000000021
EFI_HTTP_ERROR	0x8000000000000023
EFI_NETWORK_UNREACHABLE	0x8000000000000064
EFI_HOST_UNREACHABLE	0x8000000000000065
EFI_PROTOCOL_UNREACHABLE	0x8000000000000066
EFI_PORT_UNREACHABLE	0x8000000000000067
EFI_CONNECTION_FIN	0x8000000000000068
EFI_CONNECTION_RESET	0x8000000000000069
EFI_CONNECTION_REFUSED	0x800000000000006a
EFI_WARN_UNKNOWN_GLYPH	0x1
EFI_WARN_DELETE_FAILURE	0x2
EFI_WARN_WRITE_FAILURE	0x3
EFI_WARN_BUFFER_TOO_SMALL	0x4
EFI_WARN_STALE_DATA	0x5
EFI_WARN_FILE_SYSTEM	0x6

EDK2での定義

///
/// Function return status for EFI API.
///
typedef RETURN_STATUS EFI_STATUS;

//
// Status codes common to all execution phases
//
typedef UINTN RETURN_STATUS;

なのでEFI_STATUSはUINTNである． x64ではUINTNはUINT64となっている．

OVMFのデバッグ

Tue, 05 Nov 2019 14:16:39 +0000

ここではgdbを用いたOVMFのデバッグ方法について説明する．すでにOVMFのデバッグについて書かれた記事[1]が存在するが，ここでは特別なツールなどは使わずに通常のgdbでOVMFをデバッグする．

LLVMのEFI Byte Codeバックエンドを作る

Sat, 20 Jul 2019 09:37:42 +0000

ここでは開発しているLLVMのEFI Byte Code (EBC)バックエンドの概要と EBCバックエンド固有の問題などについてみていく．

ソースコードは以下で公開している．

文鎮化したMinnowboardを復旧させる

Sun, 14 Jul 2019 14:24:13 +0000

MinnowboardはIntel Atomを搭載したシングルボードコンピュータである． Minnowboardを使った実験で誤ったファームウェアを書き込んでしまい brick (文鎮化) させてしまったので SPI Flashを外部から書き換えることで復旧させる．

ELVMのEFI Byte Codeバックエンドを作る

Sat, 13 Jul 2019 17:23:26 +0000

ここでは ELVM のEFI Byte Codeバックエンドについて紹介する．特にELVM IRとEFI Byte Codeのsemantic gapに注目する．

EFI Byte Codeについて

EFI Byte Code (EBC)はUEFI Specificationで定義されているアーキテクチャ非依存なUEFI向けデバイスドライバのための仮想マシンである， EBCの詳細については過去の記事である EFI Byte Code解説を参考にしたい．

Librarizing Linux kernel for Unikernels

Sun, 02 Jun 2019 19:35:32 +0000

I ported the Linux kernel to Unikraft as an external library. This makes it possible to reuse the rich functions of the Linux kernel for Unikernel with less functionality. In this blog post, I describe the overview of the library.

Background

Linux Kernel Library

The Linux kernel is a well-maintained mature open source OS kernel. Recently, there have been researches that propose reuse its components. The Linux Kernel Library (LKL) is one of them, which uses the Linux kernel as a form of Library OS with minimum modifications. LKL is not currently official Linux project, but it is actively being developed (v4.19 is latest). Below is the architecture of LKL.

Linux kernelをUnikernelのライブラリ化する

Thu, 30 May 2019 23:26:23 +0000

Linux kernelをUnikraftのライブラリ化した．これにより機能の少ないUnikernelの資源として Linux kernelの持つ機能を利用することが可能となる．

正規表現からLLVM IRを生成する

Sun, 12 May 2019 17:47:26 +0000

正規表現からLLVM IRを生成する

正規表現は文字列マッチングなどに広く用いられている形式言語であるが，等価な決定性有限オートマトン(DFA)に変換できることが知られている． google/redgrep は与えられた正規表現から等価なDFAに相当するネイティブコードを LLVMにより生成する．ここではredgrepを改造して正規表現からどのようなLLVM IRが生成されるのかをみてみる．

技術書典6で新刊「UEFI読本 GRUB編」を頒布

Sat, 13 Apr 2019 12:18:33 +0000

技術書典6で新刊「UEFI読本 GRUB編」を頒布

2019年4月14日に池袋サンシャインシティで開催される技術書典6において「海洋軟件」として新刊「UEFI読本 GRUB編」を頒布する。既刊「UEFI読本基礎編 Linux編」も基礎編を分離し「UEFI読本 Linux編」として頒布する。配置先は「う27」である。

LinuxにおけるEFI Variableをみてみる

Thu, 20 Dec 2018 10:09:49 +0000

LinuxにおけるEFI Variableをみてみる

この記事は Linux Advent Calendar 2018 の20日目の記事として書かれた．ここではLinux kerenlにおけるEFI Variableのコードをみていく．

ebcvm: A Usermode EFI Byte Code Virtual Machine

Wed, 19 Dec 2018 00:00:00 +0000

この記事は自作OS Advent Calendar 2018 の19日目の記事として書かれた．ここでは，フルスクラッチで開発したEFI Byte Code Virtual Machineである ebcvm[1]と開発したのELVMのEBCバックエンド[2]について紹介する．

EFI Byte Code解説

Sun, 11 Nov 2018 22:30:22 +0000

本記事は2018年11月10日に開催されたkernelvm 北陸 Part4において発表した内容[10]をまとめたものである．ここではUEFIの持つ独自のbyte codeであるEFI Byte CodeとそのVMについてみていく．

EFI stubなArch Linuxのインストール

Sat, 13 Oct 2018 00:20:31 +0000

QEMU上の仮想マシンにEFI stubなArch Linuxをインストールする。ここでのホストはUbuntu 16.04.4 TLSとする。なお[1][2][3][4]を参考にした。

技術書典5で「UEFI読本基礎編 Linux編」を頒布

Mon, 01 Oct 2018 03:28:10 +0000

2018年10月8日に池袋サンシャインシティで開催される技術書典5において「海洋軟件」として「UEFI読本基礎編 Linux編」を頒布する．配置先は「お09」である．

LKL.js: Running Linux Kernel on JavaScript Directly

Wed, 25 Jul 2018 20:29:00 +0000

I ported Linux kernel directly on JavaScript. In other words, I translated the Linux kernel to JavaScript using Emscripten, and Unlike JSLinux, it runs without emulators.

The following is the working repository.

https://github.com/retrage/linux/tree/retrage/em-v2

I published a demonstration site for LKL.js. Please enable SharedArrayBuffer and try it out

LKL.js Demo

I also published slides about LKL.js.

https://speakerdeck.com/retrage/lkl-dot-js-running-linux-kernel-on-javascript-star-directly-star

Linux Kernel Library (LKL)

We use Linux Kernel Library (LKL) which makes the Linux kernel an anykernel. LKL is a fork of torvalds/linux. It is designed to put LKL specific code only in arch/lkl and runs without modifications of other code. By this design, it makes easy to follow the mainline. (Currently v4.16) Since LKL is anykernel, it runs on user space of various OS such as Linux, FreeBSD, and Windows etc.

LKL.js: Linux kernelを直接JavaScript上で動かす

Sat, 21 Jul 2018 15:30:00 +0000

Linux kernelを直接JavaScript上で動かした．つまり，JSLinuxのようにEmulatorをJavaScriptで作成し，その上でLinuxを動かすのではなく， JavaScriptで書かれたLinuxを生成し，それを動かす，ということである．

HiFive1でZephyr

Tue, 26 Jun 2018 23:19:50 +0000

HiFive1とは，SiFiveによって開発されたRISC-V搭載のArduino互換ボードである．一方，Zephyrは，Linux Foundationにより開発が進められている組み込み向けOSである． upstreamのZephyrはHiFive1に対応している．ここでは，ZephyrをHiFive1向けにビルドしてみる．

RustでBrainfuck処理系を高速化して遊んでみる

Mon, 18 Jun 2018 22:37:02 +0000

Brainfuckとは><+-.,[]の8つの命令からなるプログラミング言語である．実装が簡単であるために，すでに多くの言語によって実装がなされている．ここでは， Adventures in JIT compilation: Part 1 - an interpreter を参考にC++の実装をRustに移植し，そのパフォーマンスを計測し，比較をして遊んでみる．

8cc in Lazy K

Sun, 01 Apr 2018 21:17:53 +0000

本日は4月1日で，エイプリルフールの日である．ただ，書いている現在は午後9時で，ちょっと嘘をつくには遅すぎる時間である．そこで，今回は何にも役に立たないものを作ってみようと思った．そこで，表題の通り，Lazy Kで書かれた8ccを生成して遊んでみた．

Google V8 JavaScript EngineでのWebAssemblyのi32.addの実装を見てみる

Sun, 04 Mar 2018 14:43:55 +0000

WebAssembly(以下，wasm)については，既に多くの解説記事が存在するため， wasmについての説明は割愛する．ここでは，wasmがどのように実装され，実行されるのかを見ていく．参照する実装はGoogle V8 JavaScript Engineの 1b254a25163fd84a7696ff62e87cb6dcde7e13f2である．

Rustでcoreboot payload

Mon, 18 Dec 2017 23:28:27 +0000

この記事は自作OS Advent Calendar の19日目の記事として書かれた．ここでは，corebootのpayloadをRustを使って作ってみる． corebootはファームウェアなのでOSとは異なるが，そこはご愛嬌ということで．

Linux kernelの5-Level Paging有効化部分を読んでみる

Wed, 13 Dec 2017 20:22:09 +0000

この記事はLinux Advent Calendar 14日目の記事として書かれた．本記事ではLinuxにおける5-Level Paging(la57 paging)の実装を見ていく．

5-Level Pagingとは

これまで，x86_64では物理アドレス下位48bitのみが使用されてきた．このため，64TiBの物理アドレス空間と256TiBの仮想アドレス空間に限られてきた． Intelはこれを拡張し，物理アドレス下位56bitへと拡張させた．これにより，4PiBの物理アドレス空間と128PiBの仮想アドレス空間が利用できるようになった．この拡張に対応するため新たに導入されたのが，ここで紹介する5-Level Pagingである．基本的な考え方は4-Level Pagingと同一であり， PML4にさらに上位にPML5が追加された形となっている．

EFI stubなLinux kernelのヘッダ部分を見てみる

Sat, 09 Dec 2017 00:12:14 +0000

EFI環境においてLinux kernelの起動方法にはブートローダを用いる方法とEFI stubの2通りがある． EFI stubではbzImageに対してEFI Application相当のヘッダを付加することで EFIから直接kernelを起動する．ここでは，EFI stubなLinux kernelのヘッダが実際に見ることでどのように直接起動できるようにしているかを見ていく．実際の記事を書いたのが相当前なので，ここではLinux kernel 4.5を対象としている．

BitVisorのEFI向け VMM Loader(1st stage)のコードを読んでみる

Thu, 07 Dec 2017 02:05:28 +0000

この記事は BitVisor Advent Calendar 7日目の記事として書かれた．ここでは，BitVisorのEFI向け VMMLoader(1st stage)のコードを読んでみる．

EFI Loaderのコードは boot/uefi-loader/loadvmm.c にある．

Windows 10にEZP2010のドライバをインストール

Thu, 09 Nov 2017 02:13:21 +0000

EZP2010はAmazonなどで安価に販売されているROMライタである．すでに公式のWebサイトが閉鎖されていたりして Windows 10のドライバは公式には配布されていない． Windows 7でのインストール手順を記している方がいらっしゃるが[1]，この方法ではうまく動かなかった．非常に汚い方法ではあるがメモ程度にやり方をまとめておく．

BitbucketとCircle CIでLatexする

Tue, 29 Aug 2017 11:10:58 +0000

前回からだいぶ空いてしまったが，小ネタを投下する．以前に， Jenkins+Bitbucket(Git)でLaTeX という記事を書いた．ここでは，CIを用いてlatexdiffによる差分Latexの生成，コンパイル，Downloadsへのアップロードを行うようなものを作ってみた．

ELVMのLLVM IRバックエンドをつくった

Sat, 25 Mar 2017 23:03:01 +0000

LLVMはよく知られてるコンパイラ基盤であり，中間表現としてLLVM IRを持っている．様々なところでこのLLVM IRが使われているが，今まで触ってこなかったということもあり，今回LLVM IRで何かしら遊んでみようと思っていた．

Zephyr上でBrainfuckを(一部)動かしてみる

Wed, 02 Mar 2016 02:26:07 +0000

ZephyrはLinux Foundationが発表したのRTOSである。ただ触ってみただけでは面白くないので、ここではZephyr上で動作するBrainfuckインタプリタを(一部)実装して動作させてみる。

OpenBSD vmmを動かしてみる

Wed, 17 Feb 2016 11:48:38 +0000

vmmはOpenBSD上で開発されているVMM(Virtual Machine Monitor)である。ここではvmmを実際に動かしてその上でOpenBSDが動くことを確認する。

u8glibを使って画像をArduinoに接続したLCDに表示

Thu, 07 Jan 2016 01:19:53 +0000

タイトル通り、aitendoのFSTN液晶モジュールに画像を出力させてみました。

FSTN液晶モジュールには8x8ピクセル単位で配列として画像の情報を送っていかなければいけないので手書きするのは面倒です。

BeagleBoneBlack上でUEFIを動かしてみる

Mon, 09 Nov 2015 04:51:19 +0000

BeagleBoneBlack(以下、BBB)実機上でUEFIを動かしてみます。

前回の記事ではBeagleBoardでしたが、ここではBBBを扱います。

EDK2のクロスコンパイル

Sun, 08 Nov 2015 02:34:57 +0000

tianocore/edk2をx64上でARM向けにクロスコンパイルしてみました。

ここでは、EDK2のリポジトリにあるBeagleBoardPkgをビルドしてみます。

QEMUでARM向けUEFIを動かしてみる

Sun, 08 Nov 2015 02:35:46 +0000

QEMUのBeagleBoardエミュレータでEDK2のBeagleBoardPkgを動かしてみます。

BeagleBoardPkgはLinuxを起動するためのもののようですが、とりあえず前回のビルドの成果物が動くことを確認したいだけなので、Linuxのブートイメージは作りません。

About

Mon, 01 Jan 0001 00:00:00 +0000

Akira Moroo

I am a software engineer. I am also interested in operating systems, and compilers. Previously I have researched in natural language processing, software engineering, and firmware security, especially x86 and RISC-V. You can find my e-mail address on the bottom of this page.

Works

9pfsPkg, 9P Client File System for UEFI
frankenlibc on Solo5
EFI Byte Code Backend for LLVM
LKL on Unikraft, Librarizing Linux Kernel for Unikernel
EBC Backend for ELVM
Rust Backend for ELVM
ebcvm, EFI Byte Code Virtual Machine
LKL.js, Running Linux Kernel on JavaScript Directly
yabits, Yet Another UEFI coreboot Payload
LLVM IR Backend for ELVM
Lua Backend for ELVM
mruby 1.2.0 on UEFI Shell

Talks

Practical Rust (Hypervisor) Firmware Kernel/VM Online Part 3, July 10, 2021
Bypassing UEFI Secure Boot with Thin-Hypervisor BitVisor Summit 9, November 30, 2020
Porting Linux to Nabla Containers Container Runtime Meetup #2, August 22, 2020
Network Boot from Bell Labs Kernel/VM Online Part 1, June 6, 2020
LLVM Backend Development for EFI Byte Code Kernel/VM Tokyo 15, July 20, 2019
EFI Byte Code Virtual Machine for Fun and Profit Kernel/VM Hokuriku Part 4, November 10, 2018
LKL.js: Running Linux Kernel on JavaScript *Directly* Kernel/VM Tokyo 14, July 21, 2018
[WIP]Porting LKL to BitVisor Turing Complete FM Meetup, June 25, 2018
Making UEFI(ja) osdev_moku2, March 24, 2018
Playing with WASM(ja) Dentoo.LT #19, March 4, 2018
Optimizing BrainF*ck(ja) Dentoo.LT #19, March 4, 2018
LLVM IR on ELVM(ja) Dentoo.LAT #16, March 19, 2017

Publications

Hajime Tazaki, Akira Moroo, Yohei Kuga, and Ryo Nakamura, “How to design a library OS for practical containers?”, VEE, 2021 PDF
Hajime Tazaki, Akira Moroo, Ryo Nakamura, “Jail to the Outside World: Revisit the Container Architecture”, USENIX OSDI, 2018
Akira Moroo, “yabits: Yet Another UEFI coreboot Payload”, OSFC, 2018 PDF
Akira Moroo, Akiko Aizawa, Takayuki Hamamoto, “Reranking-based Crash Report Deduplication”, SEKE, 2017 PDF

retrage.github.io

Creating Custom Gemini Commands in Project IDX

Gemini Integration in Project IDX

Project IDXでカスタムのGeminiコマンドを作る方法を見つけた

ARM64でptraceより2000倍以上速いシステムコールフック作った

せっかちな人向け

zpolineとは

今年の振り返り

aarch64 Support for Rust Hypervisor Firmware

OSはどうやってP-coreとE-coreを使い分けているのか

VisionFive 2をJTAGデバッグ

2022年にやったこと

Allwinner NezhaにJTAGで接続する

Apple File Systemの下にはEFI driverが埋まっている

Apple File Systemの下にはEFI driverが埋まっている

9pfsPkg: Network Boot from Bell Labs

What is Network Boot?

UEFI向け9P File Systemを作ってクラウドからネットワークブートできるようにした

Linux Kernel Library Nabla Containers Internals

Modifications to runnc

EDK2におけるDebugPrintErrorLevel

Porting Linux to Nabla Containers

ccov: printfデバッグを支援するツール

Debugging OVMF with GDB

Code Mapping in UEFI

EFI_STATUSの値

TL;DR

EDK2での定義

OVMFのデバッグ

LLVMのEFI Byte Codeバックエンドを作る

文鎮化したMinnowboardを復旧させる

ELVMのEFI Byte Codeバックエンドを作る

EFI Byte Codeについて

Librarizing Linux kernel for Unikernels

Background

Linux Kernel Library

Linux kernelをUnikernelのライブラリ化する

正規表現からLLVM IRを生成する

正規表現からLLVM IRを生成する

技術書典6で新刊「UEFI読本 GRUB編」を頒布

技術書典6で新刊「UEFI読本 GRUB編」を頒布

LinuxにおけるEFI Variableをみてみる

LinuxにおけるEFI Variableをみてみる

ebcvm: A Usermode EFI Byte Code Virtual Machine

EFI Byte Code解説

EFI stubなArch Linuxのインストール

技術書典5で「UEFI読本 基礎編 Linux編」を頒布

LKL.js: Running Linux Kernel on JavaScript *Directly*

Linux Kernel Library (LKL)

LKL.js: Linux kernelを直接JavaScript上で動かす

HiFive1でZephyr

RustでBrainfuck処理系を高速化して遊んでみる

8cc in Lazy K

Google V8 JavaScript EngineでのWebAssemblyのi32.addの実装を見てみる

Rustでcoreboot payload

Linux kernelの5-Level Paging有効化部分を読んでみる

5-Level Pagingとは

EFI stubなLinux kernelのヘッダ部分を見てみる

BitVisorのEFI向け VMM Loader(1st stage)のコードを読んでみる

Windows 10にEZP2010のドライバをインストール

BitbucketとCircle CIでLatexする

ELVMのLLVM IRバックエンドをつくった

Zephyr上でBrainfuckを(一部)動かしてみる

OpenBSD vmmを動かしてみる

u8glibを使って画像をArduinoに接続したLCDに表示

BeagleBoneBlack上でUEFIを動かしてみる

EDK2のクロスコンパイル

QEMUでARM向けUEFIを動かしてみる

About

Akira Moroo

Works

Talks

Publications

技術書典5で「UEFI読本基礎編 Linux編」を頒布

LKL.js: Running Linux Kernel on JavaScript Directly