Cocoapuffs

rules_vivado: FPGA Synthesis and Place-and-Route in Bazel

The rule set is broad. The ones I lean on most:

Aug 10, 2026

Booting Fuchsia’s Zircon on a homebrew RISC-V SoC, on an Artix-7 FPGA

Fuchsia’s Zircon kernel now boots on Cocoapuffs, my homebrew RISC-V system-on-chip on an AMD Artix-7 FPGA: as far as I know, the first Fuchsia boot on programmable hardware. The boot video and the full chain, from a SERV serial loader through OpenSBI to userspace, are below; the rest of the post is the five bugs that stood in the way.

Jul 19, 2026