Works on base-nova and base-foc, the other kernels have no MSI support. Issue #1216
This repository contains the Linux-specific implementation of Genode.