Porting Linux to Nabla Containers

Apr 18, 2020 Porting Linux to Nabla Containers

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

Mar 4, 2020 ccov: printfデバッグを支援するツール

Debugging OVMF with GDB

Dec 5, 2019 Debugging OVMF with GDB

EFI_STATUSの値

Nov 26, 2019 EFI_STATUSの値

OVMFのデバッグ

Nov 5, 2019 OVMFのデバッグ

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

Jul 20, 2019 LLVMのEFI Byte Codeバックエンドを作る

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

Jul 14, 2019 文鎮化したMinnowboardを復旧させる

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

Jul 13, 2019 ELVMのEFI Byte Codeバックエンドを作る

Librarizing Linux kernel for Unikernels

Jun 2, 2019 Librarizing Linux kernel for Unikernels

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

May 30, 2019 Linux kernelをUnikernelのライブラリ化する