Interests
- AArch64 / Virtualization
- Compiler / Debugger Internals
- Rustでの低レイヤ実装
- 基板作成
ハイパーバイザやコンパイラなど低レイヤーソフトウェア全般が好きです 他にも基板作成などハードウェア寄りのこともやります
2026.8 - 2026.9
System Architecture & Software [R&D] コースの組み込みLinux領域で、Linuxカーネル開発に4週間取り組んだ。
2025.5 - 2026.3
坂井ゼミで、ソフトウェアのみで実機デバッグを可能にするハイパーバイザ型OSデバッガ「HyprProbe」を開発。GDB / VS Code連携、メモリアクセス監視、異常IRQ・例外処理失敗の検知などを実装し、QEMUとRaspberry Pi 4で動作を確認。
2025.10 - 2026.9
サイボウズ・ラボユースにて、Raspberry Pi 5でのAMPの開発
2024.4 - 2026.8
99Lの動翼制御系を担当。動翼制御用の統合基板の設計・開発、機体側ソフトウェア、地上側ファームウェアまで一貫して開発。
2024夏
AArch64 UEFI環境向けのType-1 Hypervisorを実装。
2024.4 -
東京科学大学 情報理工学院 情報工学系に在籍
2026-08-22 / kernel/VM 東京 No19
Raspberry Pi 5のRP1で自作ファームウェアを動かし、BCM2712側のLinuxと共存させるためのブート、PCIe endpoint初期化、リソース共有についての発表
2026-04-17 / コンパイラのコンパの部分 第2回
newlibを標準ライブラリとしてリンクするリンカを作成して、その仕組みを説明
2026-03-20 / Kernel/VM つくば
Raspberry Pi 5の起動プロセスについての詳細な解説
AArch64向けのType-1 Hypervisor実装 GDBに接続可能なハイパーバイザ型OSデバッガのHyprProbeや、Raspberry Pi 5上で動作するハイパーバイザなどを作成
セキュリティキャンプ 2024 全国大会にて作成したハイパーバイザ AArch64 uefi環境向けのType-1 Hypervisor
newlibを標準ライブラリとして静的リンクできるリンカ
プリプロセッサや中間言語を実装したCコンパイラ