Hi there 👋

I'm an OS enthusiast, mainly focus on the low-level stuff, like BSP, virtualization, system performance tunning and profiling, part of my works are as follows:

Virtualization

• A member developer of ACRN project.
• A shared memory based NIC driver for inter-VM communication: ivshmem-net.
• A KVM frontend VMM: zvm, you could think of it as the Qemu alternative.
• A hypervisor implementation: virtualizer.

OS

• tos: A x86 based OS implemented from scratch.
• zbpf: A framework to write BPF with Zig.

I'm also an active open-source contributor, you could find me in the following repositories:

• Zig
• Go
• Caddy
• Zellij
• Elvish
• Fzf
• Aya
• Nushell
• Livebook
• acme-lsp

I like to keep learning new languages by writing some hobby tools, e.g.

• Countbean: A beancount client written in Dart with Flutter.
• Cream: A Caddy API frontend written in Rust.
• Barn: A Fuse filesystem written in Zig.
• zellij-pomodoro-plugin: A pomodoro clock Zellij plugin, written in Rust.
• I'm using Acme as my text editor, here are some plugins I implemented:
  • acme-dot: Getting current pointer position.
  • acme-tag): Setting default tagline.
  • lsp: A LSP server proxy written in Elvish script.
  • als: A LSP client for ACME.