How to install PCIe Coral TPU drivers in Ubuntu 24.04.2 LTS Server

Introduction If you followed the official coral documentation, you will get error when installing the gasket-dkms package. That’s because it’s actually outdated, as well as the instructions of adding their repo to apt. Hence I wrote a this guide, I hope you will find it helpful! Prerequisites Installed Ubuntu 24.04.2 server. Debian server should be fine, but the 4th step of Installation section may need to be adjusted to your OS. Installed PCIe Coral Edge TPU in a PCIe slot (A+E in my case) If you have secure boot on, during installation you will get a dialog that will guide you on how to enroll new MOK keys to enable third-party drivers. You will need to reboot. This is done on an amd64 computer, but not tested on a Raspberry Pi, YMMV. Installation Compiling gasket from source The version linked in the official coral documentation doesn’t work on recent kernel versions. The updated version is available at gasket-driver repo, but has no pre-built packages there. This is where gasket-builder comes in: ...

March 1, 2025 · 3 min · 478 words · Ignas